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

 

 

LOGO