Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Oslo, Norway, 11 - 14 June 2019

Invited Speakers

Adam Chlipapa 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

 

 

 

 

 

 

 

LOGO