BEGIN:VCALENDAR
VERSION:2.0
PRODID:calendify.com
BEGIN:VEVENT
UID:calendify-session-ekE43eqRMpd
DTSTART:20171229T114500Z
SEQUENCE:0
TRANSP:OPAQUE
DTEND:20171229T124500Z
URL:https://calendify.com/session/ekE43eqRMpd
LOCATION:Saal Dijkstra
SUMMARY:Coming Soon: Machine-Checked Mathematical Proofs in Everyday Softwa
 re and Hardware Development
CLASS:PUBLIC
DESCRIPTION:https://calendify.com/session/ekE43eqRMpd
DTSTAMP:20260412T013628Z
CREATED:20200625T113327Z
LAST-MODIFIED:20200625T113327Z
END:VEVENT
END:VCALENDAR