Proof & Program
AI-Assisted Formal Mathematics
Confirmed speakers
François Charton
(Axiomath.ai)
Marc Lelarge
(Inria-ENS)
Guillaume Baudart
(Inria)
SAVE THE DATE AND SIGN UP
Organisation
Gérard Biau (Sorbonne Université)
Pierre Marion (Inria)
Gabriel Peyré (CNRS-ENS)
Francis Bach (Inria)
Claire Boyer (Université Paris-Saclay)