BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62376335-3564-4231-a431-393163623462
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:31313165-6339-4733-a335-623430616636
DTSTAMP:20260518T060328Z
DESCRIPTION:
DTSTART:20220506T070000Z
DTEND:20220506T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64663264-6634-4238-b863-353230323763
DTSTAMP:20260518T060328Z
DESCRIPTION:
DTSTART:20220513T070000Z
DTEND:20220513T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36333036-3331-4266-a233-633232353637
DTSTAMP:20260518T060328Z
DESCRIPTION:
DTSTART:20220520T070000Z
DTEND:20220520T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39386261-3232-4537-a665-386162356630
DTSTAMP:20260518T060328Z
DESCRIPTION:
DTSTART:20220527T070000Z
DTEND:20220527T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62323265-6533-4764-b262-666266303833
DTSTAMP:20260518T060328Z
DESCRIPTION:
DTSTART:20220603T070000Z
DTEND:20220603T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:32366435-3430-4432-a534-373839323539
DTSTAMP:20260518T060328Z
DESCRIPTION:
DTSTART:20220617T070000Z
DTEND:20220617T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66356436-6239-4431-a535-383232343335
DTSTAMP:20260518T060328Z
DESCRIPTION:
DTSTART:20220624T070000Z
DTEND:20220624T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:65376136-3437-4165-b236-343661333437
DTSTAMP:20260518T060328Z
DESCRIPTION:
DTSTART:20220701T070000Z
DTEND:20220701T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62666561-3865-4436-a239-393432343530
DTSTAMP:20260518T060328Z
DESCRIPTION:
DTSTART:20220708T070000Z
DTEND:20220708T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:32666466-3866-4765-b032-323239363461
DTSTAMP:20260518T060328Z
DESCRIPTION:
DTSTART:20220715T070000Z
DTEND:20220715T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
END:VCALENDAR