BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:37376237-3362-4333-a134-393239386631
X-WR-CALNAME:Hyperproperties Calendar
X-WR-CALDESC:Events of the lecture Hyperproperties
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:63343833-6132-4438-a561-363030376466
DTSTAMP:20260407T070935Z
DESCRIPTION:
DTSTART:20230523T121500Z
DTEND:20230523T140000Z
LOCATION:Seminar Rom 106 in E1.1
SUMMARY:Group Talk 1 - Basics of Information-Flow Control
END:VEVENT
BEGIN:VEVENT
UID:36353363-3565-4465-a439-376233396235
DTSTAMP:20260407T070935Z
DESCRIPTION:
DTSTART:20230530T121500Z
DTEND:20230530T140000Z
LOCATION:Seminar Rom 106 in E1.1
SUMMARY:Group Talk 2 - Formal Methods 101
END:VEVENT
END:VCALENDAR