Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Oslo, Norway, 12 - 14 June 2019

Invited Speakers

Paolo Capriotti Darmstadt University of Technology
Evan Cavallo Carnegie Mellon University
  • Cubical Indexed Inductive Types

Eric Finster University of Birmingham
Ulrik Buchholtz Darmstadt Univerity of Technology
Simon Huber University of Gothenburg
Nicolai Kraus Eötvös Loránd University
  • Quotienting by Directed Relations

Paige North Ohio State University
Christian Sattler University of Gothenburg
Andrew Swan University of Amsterdam
Taichi Uemura University of Amsterdam
Liang Ze Wong University of Washington