Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Oslo, Norway, 11 - 14 June 2019

Invited Speakers

Adam Chlipala Massachusetts Institute of Technology (USA)

  • Challenges Scaling Type-Theory-Based Verification to Cryptographic Code in Production


Assia Mahboubi INRIA, University of Nantes (France)

  • Classical analysis in dependent type theory


Conor McBride University of Strathclyde (UK)

  • Check the Box!


Stephanie Weirich University of Pennsylvania (USA)

  • A Dependently-Typed Core Calculus for GHC