BEGIN:VCALENDAR
VERSION:2.0
CALSCALE:GREGORIAN
PRODID:adamgibbons/ics
METHOD:PUBLISH
X-PUBLISHED-TTL:PT1H
BEGIN:VEVENT
UID:y_MU7D_KmAVJBv_Zf02L2
SUMMARY:Mechanization and Mathematical Research
DTSTAMP:20260401T014400Z
DTSTART;VALUE=DATE:20250914
DTEND;VALUE=DATE:20250918
DESCRIPTION:Dear all\,\n\nWe are organising a workshop “Mechanisation and M
	athematical Research” at the Lorentz Center in Leiden\, from 15 to 19 Sept
	ember 2025.\n\nIn this event\, we want to reflect on how developments in f
	ormal mathematics and AI for theorem proving may change the practice of ma
	thematical research. We have an exciting group of experts from computer sc
	ience\, mathematics\, history\, and philosophy lined up. Confirmed partici
	pants:\n\nJarod Alper (U Washington)\, Jeremy Avigad (Carnegie Mellon)\, M
	ichael Barany (Edinburgh)\, Kevin Buzzard (Imperial College)\, Antoine Cha
	mbert-Loir (Paris Cité)\, Thierry Coquand (Gothenburg)\, Silvia De Toffoli
	 (Pavia)\, Walter Dean (Warwick)\, Simon DeDeo (Carnegie Mellon)\, Stephan
	ie 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 (Mist
	ral AI)\, Bryna Kra (Northwestern)\, Wenda Li (Edinburgh)\, Heather Macbet
	h (Imperial College)\, Jim Portegies (TU/Eindhoven)\, Talia Ringer (U Illi
	nois)\, Ronald van Luijk (Leiden)\, Jan van Neerven (TU Delft).\n\nThere i
	s still room for 25-30 additional participants\, and we invite everyone ho
	w is interested in reflecting on the mathematical practice to apply to par
	ticipate. Junior mathematicians in particular are strongly encouraged to a
	pply (and we have some limited financial support for junior participants).
	 Deadline for application is June 9.\n\nFor more information and to apply:
	 https://www.lorentzcenter.nl/mechanization-and-mathematical-research.html
	\n\nFeel free to forward this message to potentially interested participan
	ts.\n\nThe organisers\,\nJohan Commelin\, Mateja Jamnik\, Rodrigo Ochigame
	\, Lenny Taelman\, Akshay Venkatesh\n\n
URL:https://www.lorentzcenter.nl/mechanization-and-mathematical-research.ht
	ml
LOCATION:Leiden\, the Netherlands
END:VEVENT
END:VCALENDAR