BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62343334-3233-4833-a139-616131313665
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:35373562-3339-4837-b366-656233396335
DTSTAMP:20260829T070458Z
DESCRIPTION:
DTSTART:20220506T070000Z
DTEND:20220506T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:63353765-3437-4361-b266-623533633035
DTSTAMP:20260829T070458Z
DESCRIPTION:
DTSTART:20220513T070000Z
DTEND:20220513T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38623432-3631-4233-a164-613638303931
DTSTAMP:20260829T070458Z
DESCRIPTION:
DTSTART:20220520T070000Z
DTEND:20220520T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:63353839-3535-4662-a336-383334333634
DTSTAMP:20260829T070458Z
DESCRIPTION:
DTSTART:20220527T070000Z
DTEND:20220527T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:34336230-3164-4566-b466-643131666234
DTSTAMP:20260829T070458Z
DESCRIPTION:
DTSTART:20220603T070000Z
DTEND:20220603T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64643339-3531-4338-a561-616637306666
DTSTAMP:20260829T070458Z
DESCRIPTION:
DTSTART:20220617T070000Z
DTEND:20220617T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:34643366-3264-4439-a138-363133333932
DTSTAMP:20260829T070458Z
DESCRIPTION:
DTSTART:20220624T070000Z
DTEND:20220624T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30373730-3131-4132-b432-396530316163
DTSTAMP:20260829T070458Z
DESCRIPTION:
DTSTART:20220701T070000Z
DTEND:20220701T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:35306265-3265-4632-b566-663464326363
DTSTAMP:20260829T070458Z
DESCRIPTION:
DTSTART:20220708T070000Z
DTEND:20220708T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:32303164-6539-4730-b965-353331393434
DTSTAMP:20260829T070458Z
DESCRIPTION:
DTSTART:20220715T070000Z
DTEND:20220715T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
END:VCALENDAR