BEGIN:VCALENDAR
VERSION:2.0
PRODID:calendify.com
BEGIN:VEVENT
UID:calendify-session-PeR40o0qg3j
DTSTART:20210206T123000Z
SEQUENCE:0
TRANSP:OPAQUE
DTEND:20210206T133000Z
URL:https://calendify.com/session/PeR40o0qg3j
LOCATION:D.safety
SUMMARY:Proving heap-manipulating programs with SPARK
CLASS:PUBLIC
DESCRIPTION:https://calendify.com/session/PeR40o0qg3j
DTSTAMP:20260416T095543Z
CREATED:20210114T155442Z
LAST-MODIFIED:20210208T224803Z
END:VEVENT
END:VCALENDAR