BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:31323739-3937-4038-a339-653065396639
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:35323335-6665-4636-a364-643839656136
DTSTAMP:20261029T010105Z
DESCRIPTION:
DTSTART:20220506T070000Z
DTEND:20220506T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36633866-6131-4965-b137-646431643732
DTSTAMP:20261029T010105Z
DESCRIPTION:
DTSTART:20220513T070000Z
DTEND:20220513T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36356537-3036-4739-b366-663139386363
DTSTAMP:20261029T010105Z
DESCRIPTION:
DTSTART:20220520T070000Z
DTEND:20220520T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33663566-3838-4634-b732-326466313465
DTSTAMP:20261029T010105Z
DESCRIPTION:
DTSTART:20220527T070000Z
DTEND:20220527T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39623830-3234-4538-a662-303632623334
DTSTAMP:20261029T010105Z
DESCRIPTION:
DTSTART:20220603T070000Z
DTEND:20220603T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37646662-3931-4363-a437-303330306135
DTSTAMP:20261029T010105Z
DESCRIPTION:
DTSTART:20220617T070000Z
DTEND:20220617T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36643366-3037-4831-b331-646639386136
DTSTAMP:20261029T010105Z
DESCRIPTION:
DTSTART:20220624T070000Z
DTEND:20220624T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33663730-3230-4834-b563-363366613364
DTSTAMP:20261029T010105Z
DESCRIPTION:
DTSTART:20220701T070000Z
DTEND:20220701T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30303439-3162-4266-a530-613032323238
DTSTAMP:20261029T010105Z
DESCRIPTION:
DTSTART:20220708T070000Z
DTEND:20220708T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36633866-3962-4933-b063-306432306564
DTSTAMP:20261029T010105Z
DESCRIPTION:
DTSTART:20220715T070000Z
DTEND:20220715T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
END:VCALENDAR