BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:35633462-3735-4330-b737-373563626633
X-WR-CALNAME:Formal Methods for Security Calendar
X-WR-CALDESC:Events of the lecture Formal Methods for Security
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:62343961-6237-4066-b535-646339386532
DTSTAMP:20260407T112637Z
DESCRIPTION:
DTSTART:20191022T141500Z
DTEND:20191022T160000Z
SUMMARY:Fmssem: First Meeting
END:VEVENT
BEGIN:VEVENT
UID:31346337-3231-4462-b635-313663376564
DTSTAMP:20260407T112637Z
DESCRIPTION:Select your topic until the end of this day
DTSTART;VALUE=DATE:20191107
DTEND;VALUE=DATE:20191108
SUMMARY:Fmssem: Topic Selection
END:VEVENT
BEGIN:VEVENT
UID:30366534-3466-4435-a339-613336633565
DTSTAMP:20260407T112637Z
DESCRIPTION:
DTSTART:20191107T151500Z
DTEND:20191107T170000Z
SUMMARY:Fmssem: Reading Group Meeting
END:VEVENT
BEGIN:VEVENT
UID:66393463-3032-4031-b631-643835656637
DTSTAMP:20260407T112637Z
DESCRIPTION:Your topic will be assigned on this day.
DTSTART;VALUE=DATE:20191108
DTEND;VALUE=DATE:20191109
SUMMARY:Fmssem: Topic Assignment
END:VEVENT
BEGIN:VEVENT
UID:64396361-6339-4432-a537-386335323134
DTSTAMP:20260407T112637Z
DESCRIPTION:
DTSTART:20191114T151500Z
DTEND:20191114T170000Z
SUMMARY:Fmssem: Reading Group Meeting
END:VEVENT
BEGIN:VEVENT
UID:39383938-3138-4738-a563-306232626334
DTSTAMP:20260407T112637Z
DESCRIPTION:
DTSTART:20191219T150000Z
DTEND:20191219T170000Z
SUMMARY:Fmssem: Student Presentations: Papers 3+4
END:VEVENT
BEGIN:VEVENT
UID:32353431-6536-4461-b233-633766643731
DTSTAMP:20260407T112637Z
DESCRIPTION:
DTSTART:20200109T150000Z
DTEND:20200109T170000Z
SUMMARY:Fmssem: Student Presentations: Papers 5+7
END:VEVENT
END:VCALENDAR