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">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>

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

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.

More Science & Tech events

Browse more Science & Tech 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.