BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:38396466-6335-4636-a437-303637323361
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:30346635-6666-4534-a337-643938363234
DTSTAMP:20261008T092709Z
DESCRIPTION:
DTSTART:20220506T070000Z
DTEND:20220506T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:34393338-6261-4938-a163-613534373336
DTSTAMP:20261008T092709Z
DESCRIPTION:
DTSTART:20220513T070000Z
DTEND:20220513T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38313837-3361-4536-a532-383633353663
DTSTAMP:20261008T092709Z
DESCRIPTION:
DTSTART:20220520T070000Z
DTEND:20220520T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:35333931-6637-4637-b830-383465656266
DTSTAMP:20261008T092709Z
DESCRIPTION:
DTSTART:20220527T070000Z
DTEND:20220527T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64303063-6466-4231-b531-303862313939
DTSTAMP:20261008T092709Z
DESCRIPTION:
DTSTART:20220603T070000Z
DTEND:20220603T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:31663435-6338-4437-b861-333032396561
DTSTAMP:20261008T092709Z
DESCRIPTION:
DTSTART:20220617T070000Z
DTEND:20220617T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66373663-3435-4835-a162-343233393835
DTSTAMP:20261008T092709Z
DESCRIPTION:
DTSTART:20220624T070000Z
DTEND:20220624T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66356636-3039-4763-a232-343236663531
DTSTAMP:20261008T092709Z
DESCRIPTION:
DTSTART:20220701T070000Z
DTEND:20220701T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33643633-6466-4130-b365-353935666161
DTSTAMP:20261008T092709Z
DESCRIPTION:
DTSTART:20220708T070000Z
DTEND:20220708T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:35373939-3030-4836-a239-656364366365
DTSTAMP:20261008T092709Z
DESCRIPTION:
DTSTART:20220715T070000Z
DTEND:20220715T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
END:VCALENDAR