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