BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62306131-6631-4263-a463-366431333736
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:39386365-3834-4231-b830-616364393661
DTSTAMP:20260704T233818Z
DESCRIPTION:
DTSTART:20191022T141500Z
DTEND:20191022T160000Z
SUMMARY:First Meeting
END:VEVENT
BEGIN:VEVENT
UID:31313664-6564-4433-b933-313136373065
DTSTAMP:20260704T233818Z
DESCRIPTION:Select your topic until the end of this day
DTSTART;VALUE=DATE:20191107
DTEND;VALUE=DATE:20191108
SUMMARY:Topic Selection
END:VEVENT
BEGIN:VEVENT
UID:39386465-3566-4731-a330-326465613064
DTSTAMP:20260704T233818Z
DESCRIPTION:
DTSTART:20191107T151500Z
DTEND:20191107T170000Z
SUMMARY:Reading Group Meeting
END:VEVENT
BEGIN:VEVENT
UID:34303436-3263-4738-a166-633335356665
DTSTAMP:20260704T233818Z
DESCRIPTION:Your topic will be assigned on this day.
DTSTART;VALUE=DATE:20191108
DTEND;VALUE=DATE:20191109
SUMMARY:Topic Assignment
END:VEVENT
BEGIN:VEVENT
UID:38623638-6536-4735-b332-373065383564
DTSTAMP:20260704T233818Z
DESCRIPTION:
DTSTART:20191114T151500Z
DTEND:20191114T170000Z
SUMMARY:Reading Group Meeting
END:VEVENT
BEGIN:VEVENT
UID:64376162-3561-4933-b563-633065663531
DTSTAMP:20260704T233818Z
DESCRIPTION:
DTSTART:20191219T150000Z
DTEND:20191219T170000Z
SUMMARY:Student Presentations: Papers 3+4
END:VEVENT
BEGIN:VEVENT
UID:63623732-3866-4663-b738-343039643832
DTSTAMP:20260704T233818Z
DESCRIPTION:
DTSTART:20200109T150000Z
DTEND:20200109T170000Z
SUMMARY:Student Presentations: Papers 5+7
END:VEVENT
END:VCALENDAR