*AI for Mathematics and Theoretical Computer Science*, a workshop hosted jointly by the
@SimonsFdn Institute for the Theory of Computing and the
@mathmoves Simons Laufer Mathematical Sciences Institute (MSRI) , will be held in Berkeley, California from Monday, April 7 to Friday, April 11, 2025.
simons.berkeley.edu/workshop…
slmath.org/workshops/1140#ov…
The workshop will introduce mathematicians and theoretical computer scientists to new technologies for mathematics, namely, interactive theorem proving, automated reasoning, and machine learning. Talks each morning will survey exciting results in these fields, and in the afternoons, we will help participants experiment with the tools to get a sense of what they do. We will also encourage participants to think about how they can use the new technologies in their research.
The workshop is open to the public. Talks will be recorded and streamed live, but the tutorials and discussions will be held in person only. Registration is required for in-person or virtual attendance, but there is no registration fee. A limited amount of funding is available to support attendees for the workshop, and requests can be made by February 7, 2025, following the instructions on the registration form.
Please share this information with friends, students, and colleagues who may be interested in participating. We are looking forward to a lively workshop!
*Speakers*
Maria-Florina Balcan (CMU)
Yannick Forster (Inria)
Giles Gardam (University of Bonn)
Amaury Hayat (Ecole des Ponts Paristech)
Sophie Morel (ENS de Lyon)
Aina Niemetz (Stanford University)
Emily Riehl (Johns Hopkins University)
Jeffrey Shallit (University of Waterloo)
Bernardo Subercaseaux (CMU)
Christoph Thiele (University of Bonn)
Kaiyu Yang (Meta)
*Tutorial assistants*
Leni Aniva (Stanford)
Thomas Browning (UC Berkeley)
Hannah Fechtner (Carnegie Mellon)
Kyle Miller (UC Santa Cruz)
Wojciech Nawrocki (Carnegie Mellon)
Gabriel Poesia (Stanford)
*Organizers*
Jeremy Avigad (CMU)
María Inés de Frutos-Fernández (University of Bonn)
Marijn Heule (CMU)
Floris van Doorn (University of Bonn)
Adam Wagner (DeepMind)