BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Math and AI//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:introduction-to-lean-20261009@math.fsu.edu
DTSTAMP:20260807T114000Z
DTSTART:20261009T172000Z
DURATION:PT60M
SUMMARY:An Introduction to Lean — Michael Rothgang
LOCATION:Zoom
DESCRIPTION:Speaker: Michael Rothgang (Bonn University). To receive the Zoom link, contact Martin Bauer at mbauer2@fsu.edu.
URL:https://www.math.fsu.edu/~bauer/AI-panel/
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR