BEGIN:VCALENDAR
VERSION:2.0
PRODID:calendify.com
BEGIN:VEVENT
UID:calendify-session-vn54bj7l4kq
DTSTART:20240531T123000Z
SEQUENCE:0
TRANSP:OPAQUE
DTEND:20240531T133000Z
URL:https://calendify.com/session/vn54bj7l4kq
LOCATION:ZKM Vortragssaal
SUMMARY:Intro to Lean 4: A language at the intersection of programming and 
 mathematics
CLASS:PUBLIC
DESCRIPTION:https://calendify.com/session/vn54bj7l4kq
DTSTAMP:20260422T100057Z
CREATED:20240531T122740Z
LAST-MODIFIED:20240602T132303Z
END:VEVENT
END:VCALENDAR