BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Math and AI//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:introduction-to-lean-20261009-v2@math.fsu.edu
DTSTAMP:20260812T030000Z
DTSTART:20261009T172000Z
DURATION:PT60M
SUMMARY:An Introduction to Lean — Michael Rothgang
LOCATION:Zoom
DESCRIPTION:Speaker: Michael Rothgang (Bonn University). Registration is mandatory; access details will be sent to registered participants.
URL:https://www.math.fsu.edu/~bauer/AI-Math/
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR