BEGIN:VCALENDAR
VERSION:2.0
PRODID:calendify.com
BEGIN:VEVENT
UID:calendify-session-3v8gVva8gQl
DTSTART:20231229T100000Z
SEQUENCE:0
TRANSP:OPAQUE
DTEND:20231229T120000Z
URL:https://calendify.com/session/3v8gVva8gQl
LOCATION:Saal D
SUMMARY:Formalizing mathematics in the proof assistant Agda
CLASS:PUBLIC
DESCRIPTION:https://calendify.com/session/3v8gVva8gQl
DTSTAMP:20260419T133157Z
CREATED:20231221T182739Z
LAST-MODIFIED:20240401T142932Z
END:VEVENT
END:VCALENDAR