Proof & Program Mathématiques formelles assistées par l'IA
Le développement rapide de l'intelligence artificielle transforme le paysage des mathématiques formelles. Proof & Program rassemblera des chercheurs de premier plan afin d'explorer comment les méthodes assistées par l'IA remodèlent la preuve, la vérification et la découverte mathématiques.
-
Le 16 fév. 2026
-
09:00 - 19:00
-
Conférence
Rejoignez-nous pour une immersion dans le monde des mathématiques formelles assistées par l'IA !
Cet événement mettra en lumière les avancées récentes à l'intersection des méthodes formelles, de l'apprentissage automatique et du raisonnement mathématique, favorisant le dialogue entre mathématiciens, informaticiens et chercheurs en IA.
Keynote Conférenciers confirmés
- Guillaume Baudart (Inria)
- François Charton (Axiomath.ai)
- Yann Fleureau (Numina)
- Marc Lelarge (Inria-ENS)
- Assia Mahboubi (Inria)
et d'autres à venir
Table ronde
- Béatrice de Tilière (directrice du FSMP)
- Pascal Massart (directeur de la Fondation Mathématiques Jacques Hadamard)
Inscription sur le site de SCAI
Organisation
- Francis Bach (Inria)
- Gérard Biau (Sorbonne Université)
- Claire Boyer (Université Paris-Saclay)
- Pierre Marion (Inria)
- Gabriel Peyré (CNRS-ENS)