BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:30656266-3964-4362-a463-396639323234
X-WR-CALNAME:Formal analysis of real-world security protocols Calendar
X-WR-CALDESC:Events of the lecture Formal analysis of real-world security p
 rotocols
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:31636537-3034-4539-a531-323535393832
DTSTAMP:20260628T222945Z
DESCRIPTION:
DTSTART:20220506T070000Z
DTEND:20220506T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33643162-3036-4061-a665-383365353464
DTSTAMP:20260628T222945Z
DESCRIPTION:
DTSTART:20220513T070000Z
DTEND:20220513T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61313164-6562-4162-b965-303630633934
DTSTAMP:20260628T222945Z
DESCRIPTION:
DTSTART:20220520T070000Z
DTEND:20220520T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62343830-3131-4736-b133-383138373364
DTSTAMP:20260628T222945Z
DESCRIPTION:
DTSTART:20220527T070000Z
DTEND:20220527T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37343932-3866-4534-a564-343362646661
DTSTAMP:20260628T222945Z
DESCRIPTION:
DTSTART:20220603T070000Z
DTEND:20220603T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30396638-3239-4163-a231-633762633466
DTSTAMP:20260628T222945Z
DESCRIPTION:
DTSTART:20220617T070000Z
DTEND:20220617T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61643230-3265-4561-b864-643165616363
DTSTAMP:20260628T222945Z
DESCRIPTION:
DTSTART:20220624T070000Z
DTEND:20220624T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61326436-3433-4564-a538-626330333563
DTSTAMP:20260628T222945Z
DESCRIPTION:
DTSTART:20220701T070000Z
DTEND:20220701T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36386232-3666-4635-a537-393661353162
DTSTAMP:20260628T222945Z
DESCRIPTION:
DTSTART:20220708T070000Z
DTEND:20220708T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:65636431-3736-4561-b839-386664346638
DTSTAMP:20260628T222945Z
DESCRIPTION:
DTSTART:20220715T070000Z
DTEND:20220715T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
END:VCALENDAR
