BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Math and AI//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:formalisation-mathematics-20261009-v3@math.fsu.edu
DTSTAMP:20261001T130000Z
DTSTART:20261009T172000Z
DURATION:PT60M
SUMMARY:Formalisation of mathematics: insight into an ongoing revolution — Michael Rothgang
LOCATION:Zoom
DESCRIPTION:Speaker: Michael Rothgang (Bonn University). A talk on the ongoing revolution in formalising research-level mathematics, including differential geometry and Lean. Registration is mandatory; access details will be sent to registered participants.
URL:https://www.math.fsu.edu/~bauer/AI-Math/lean-register.html
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR