Conference Proof & Program - AI-Assisted Formal Mathematics

Join us for a deep dive into the world of 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)

SAVE THE DATE AND SIGN UP
mandatory

Organisation

• Francis Bach (Inria)
• Gérard Biau (Sorbonne Université)
• Claire Boyer (Université Paris-Saclay)
• Pierre Marion (Inria)
• Gabriel Peyré (CNRS-ENS)