BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:30323762-3138-4137-a131-303737633864
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:65666532-6339-4432-b461-323734396162
DTSTAMP:20260608T015512Z
DESCRIPTION:
DTSTART:20220506T070000Z
DTEND:20220506T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61366663-3932-4135-b639-346664613730
DTSTAMP:20260608T015512Z
DESCRIPTION:
DTSTART:20220513T070000Z
DTEND:20220513T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61613537-6536-4231-b763-613432646232
DTSTAMP:20260608T015512Z
DESCRIPTION:
DTSTART:20220520T070000Z
DTEND:20220520T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62646533-3063-4162-a335-393231646633
DTSTAMP:20260608T015512Z
DESCRIPTION:
DTSTART:20220527T070000Z
DTEND:20220527T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:65343433-6263-4138-b634-333661613164
DTSTAMP:20260608T015512Z
DESCRIPTION:
DTSTART:20220603T070000Z
DTEND:20220603T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:31383364-6230-4639-b065-343363303035
DTSTAMP:20260608T015512Z
DESCRIPTION:
DTSTART:20220617T070000Z
DTEND:20220617T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37343861-6665-4064-a435-353734633565
DTSTAMP:20260608T015512Z
DESCRIPTION:
DTSTART:20220624T070000Z
DTEND:20220624T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:31626237-3939-4333-b738-353166326462
DTSTAMP:20260608T015512Z
DESCRIPTION:
DTSTART:20220701T070000Z
DTEND:20220701T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66666332-3331-4664-b033-333136343430
DTSTAMP:20260608T015512Z
DESCRIPTION:
DTSTART:20220708T070000Z
DTEND:20220708T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38343462-3633-4231-a238-386635363139
DTSTAMP:20260608T015512Z
DESCRIPTION:
DTSTART:20220715T070000Z
DTEND:20220715T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
END:VCALENDAR