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 formalized 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 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
PS. Apologies for the somewhat off-topic announcement, and for multiple postings...
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
