-
- Cédric Fournet (Microsoft Research, UK)
Title: Building verified cryptographic components using F*
-
- Delia Kesner (IRIF — CNRS and Université Paris-Diderot, France)
Title: Multi Types for Higher-Order Languages
-
- Matthieu Sozeau (INRIA, France)
Title: The Predicative, Polymorphic Calculus of Cumulative Inductive Constructions and its implementation
-
- Josef Urban (CIIRC, Czech Republic)
Title: Machine Learning for Proof Automation and Formalization