Machine Assisted Proofs

February 13 - 17, 2023

Speaker List

Benedikt Ahrens (Delft University of Technology)
Anne Baanen (Vrije Universiteit)
Andrej Bauer (University of Ljubljana)
Johan Commelin (Albert-Ludwigs-Universität Freiburg)
James Davenport (University of Bath)
Leonardo de Moura (Microsoft Research)
Pascal Fontaine (Université de Liège)
Johnathan Hanke (Princeton University)
John Harrison (Amazon)
Laura Kovacs (Technische Universität Wien)
Marc Lackenby (University of Oxford)
Heather Macbeth (Fordham University at Lincoln Center)
Assia Mahboubi (Institut National de Recherche en Informatique Automatique (INRIA))
Patrick Massot (Université Paris-Saclay)
Micaela Mayero (Galilee Institute - Paris Nord University)
Sophie Morel (École Normale Supérieure de Lyon)
Emily Riehl (Johns Hopkins University)
Jason Rute (IBM)
Akshay Venkatesh (Institute for Advanced Study)
Adam Wagner (Worcester Polytechnic Institute)
Geordie Williamson (University of Sydney)
Tony Wu (Stanford University)
Bohua Zhan (Chinese Academy of Sciences)