Leiden, the NetherlandsMechanization and Mathematical Research
Workshop
Dear all,
We are organising a workshop “Mechanisation and Mathematical Research” at the Lorentz Center in Leiden, from 15 to 19 September 2025.
In this event, we want to reflect on how developments in formal mathematics and AI for theorem proving may change the practice of mathematical research. We have an exciting group of experts from computer science, mathematics, history, and philosophy lined up. Confirmed participants:
Jarod Alper (U Washington), Jeremy Avigad (Carnegie Mellon), Michael Barany (Edinburgh), Kevin Buzzard (Imperial College), Antoine Chambert-Loir (Paris Cité), Thierry Coquand (Gothenburg), Silvia De Toffoli (Pavia), Walter Dean (Warwick), Simon DeDeo (Carnegie Mellon), Stephanie Dick (Simon Fraser), Robbert Dijkgraaf (U Amsterdam), Catarina Dutilh Novaes (VU Amsterdam), Timothy Gowers (Collège de France), Massimiliano Gubinelli (Oxford), Thomas Hubert (Google DeepMind), Albert Jiang (Mistral AI), Bryna Kra (Northwestern), Wenda Li (Edinburgh), Heather Macbeth (Imperial College), Jim Portegies (TU/Eindhoven), Talia Ringer (U Illinois), Ronald van Luijk (Leiden), Jan van Neerven (TU Delft).
There is still room for 25-30 additional participants, and we invite everyone how is interested in reflecting on the mathematical practice to apply to participate. Junior mathematicians in particular are strongly encouraged to apply (and we have some limited financial support for junior participants). Deadline for application is June 9.
For more information and to apply: https://www.lorentzcenter.nl/mechanization-and-mathematical-research.html
Feel free to forward this message to potentially interested participants.
The organisers,
Johan Commelin, Mateja Jamnik, Rodrigo Ochigame, Lenny Taelman, Akshay Venkatesh