BEGIN:VCALENDAR
VERSION:2.0
PRODID:calendify.com
BEGIN:VEVENT
UID:calendify-session-ADx4vNwm4GP
DTSTART:20231229T120000Z
SEQUENCE:0
TRANSP:OPAQUE
DTEND:20231229T133000Z
URL:https://calendify.com/session/ADx4vNwm4GP
LOCATION:Stage Y
SUMMARY:Homotopy type theory for programmers
CLASS:PUBLIC
DESCRIPTION:https://calendify.com/session/ADx4vNwm4GP
DTSTAMP:20260427T125308Z
CREATED:20231225T114002Z
LAST-MODIFIED:20240401T142932Z
END:VEVENT
END:VCALENDAR