BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:66383162-3061-4466-a235-623337396666
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:30323164-6337-4064-b332-343935326562
DTSTAMP:20260427T175547Z
DESCRIPTION:
DTSTART:20220506T070000Z
DTEND:20220506T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30313163-3032-4564-b635-396239313765
DTSTAMP:20260427T175547Z
DESCRIPTION:
DTSTART:20220513T070000Z
DTEND:20220513T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39613536-3163-4130-a465-366634363962
DTSTAMP:20260427T175547Z
DESCRIPTION:
DTSTART:20220520T070000Z
DTEND:20220520T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62343830-3265-4665-b932-633236633734
DTSTAMP:20260427T175547Z
DESCRIPTION:
DTSTART:20220527T070000Z
DTEND:20220527T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33643961-6164-4137-b032-356435626163
DTSTAMP:20260427T175547Z
DESCRIPTION:
DTSTART:20220603T070000Z
DTEND:20220603T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37396538-3065-4532-b262-333331663764
DTSTAMP:20260427T175547Z
DESCRIPTION:
DTSTART:20220617T070000Z
DTEND:20220617T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37656663-3966-4034-a133-636437393937
DTSTAMP:20260427T175547Z
DESCRIPTION:
DTSTART:20220624T070000Z
DTEND:20220624T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:35316130-6136-4334-b064-303934633731
DTSTAMP:20260427T175547Z
DESCRIPTION:
DTSTART:20220701T070000Z
DTEND:20220701T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38306533-6638-4037-a332-356436646530
DTSTAMP:20260427T175547Z
DESCRIPTION:
DTSTART:20220708T070000Z
DTEND:20220708T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64646130-3961-4765-b236-313565336465
DTSTAMP:20260427T175547Z
DESCRIPTION:
DTSTART:20220715T070000Z
DTEND:20220715T100000Z
LOCATION:Discord
SUMMARY:Office Hour
END:VEVENT
END:VCALENDAR