Conference Proof & Program - AI-Assisted Formal Mathematics

SCAI

Join us for a deep dive into the world of AI-assisted formal mathematics !

4 Pl. Jussieu

9:00 : Opening - Welcome coffee9:30 – 10:10 : Yann Fleureau (S1) 10:10 – 10:50 : Marc Lelarge (S2)10:50 – 11:15 : Coffee break11:15 – 12:00 : Guillaume Baudart (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 break15:45 – 16:25 : François Charton (S6)16:30 – 17:00 : Round table<ul><li><a href="https://www.ceremade.dauphine.fr/~detiliere/" title="https://www.ceremade.dauphine.fr/~detiliere/" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">Béatrice de Tilière</a> (Director of FSMP)</li><li><a href="https://www.linkedin.com/in/romuald-elie-b9bb817b/?originalSubdomain=fr" title="https://www.linkedin.com/in/romuald-elie-b9bb817b/?originalSubdomain=fr" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">Romuald Elie</a> (Google DeepMind)</li><li><a href="https://fr.wikipedia.org/wiki/Pascal_Massart" title="https://fr.wikipedia.org/wiki/Pascal_Massart" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">Pascal Massart</a> (Director of Fondation Mathématiques Jacques Hadamard)</li><li><a href="https://www.gpeyre.com/" title="https://www.gpeyre.com/" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">Gabriel Peyré</a> (Research Director at CNRS, Center for Data Science of the Ecole Normale Supérieure)</li></ul><h3><a href="https://www.eventbrite.fr/e/conference-proof-program-ai-assisted-formal-mathematics-tickets-1978613191318?aff=oddtdtcreator" title="https://www.eventbrite.fr/e/conference-proof-program-ai-assisted-formal-mathematics-tickets-1978613191318?aff=oddtdtcreator" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">SAVE THE DATE AND SIGN UP</a> mandatory</h3>Organisation<ul><li>Francis Bach (Inria)</li><li>Gérard Biau (Sorbonne Université)</li><li>Claire Boyer (Université Paris-Saclay)</li><li>Pierre Marion (Inria)</li><li>Gabriel Peyré (CNRS-ENS)</li></ul>

Conference Proof & Program - AI-Assisted Formal Mathematics

More events from SCAI

Discover more events from SCAI, from Science & Tech to other experiences you might love.

Still looking for the right event?

Explore all events in Paris and filter by date, category, and more to find the perfect fit.

Conference Proof & Program - AI-Assisted Formal Mathematics

More events from SCAI

Discover more events from SCAI, from Science & Tech to other experiences you might love.

You might also like...

Browse more events with different dates, prices, and formats to find your next great experience.

Still looking for the right event?

Explore all events in Paris and filter by date, category, and more to find the perfect fit.