Proof & Program
AI-Assisted Formal Mathematics

9:00 : Opening - Welcome coffee

9:30 – 10:10 : Yann Fleureau (S1)
10:10 – 10:50 : Guillaume Baudart (S2)

10:50 – 11:15 : Coffee break

11:15 – 12:00 : Marc Lelarge (S3)

12:00 – 14:00 : Lunch break

14:00 – 14:40 : Theophane Weber (S4)
14:40 – 15:20 : Assia Mahboubi (S5)

15:20 – 15:45 : Coffee break

15:45 – 16:25 : François Charton (S6)

16:30 – 17:00 : Round table

Béatrice de Tilière (Director of FSMP)
Romuald Elie (Google DeepMind)
Pascal Massart (Director of Fondation Mathématiques Jacques Hadamard)
Gabriel Peyré (Research Director at CNRS, Center for Data Science of the Ecole Normale Supérieure)

Organisation