BEGIN:VCALENDAR
VERSION:2.0
PRODID:calendify.com
BEGIN:VEVENT
UID:calendify-session-rwXgA9logxQ
DTSTART:20241229T230000Z
SEQUENCE:0
TRANSP:OPAQUE
DTEND:20241229T234500Z
URL:https://calendify.com/session/rwXgA9logxQ
LOCATION:SoS Saal D
SUMMARY:Formalizing mathematics in the proof assistant Agda and extracting 
 algorithms from transfinite proofs
CLASS:PUBLIC
DESCRIPTION:https://calendify.com/session/rwXgA9logxQ
DTSTAMP:20260501T200021Z
CREATED:20241227T141511Z
LAST-MODIFIED:20250101T225003Z
END:VEVENT
END:VCALENDAR