BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:38383735-3261-4836-a239-643237356261
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:62326330-3765-4338-a230-306462656366
DTSTAMP:20260829T070634Z
DESCRIPTION:
DTSTART:20220506T070000Z
DTEND:20220506T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:65356266-3162-4864-a365-663834366638
DTSTAMP:20260829T070634Z
DESCRIPTION:
DTSTART:20220513T070000Z
DTEND:20220513T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:31323861-3131-4530-b937-343636643764
DTSTAMP:20260829T070634Z
DESCRIPTION:
DTSTART:20220520T070000Z
DTEND:20220520T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36653432-3937-4532-a635-383034373262
DTSTAMP:20260829T070634Z
DESCRIPTION:
DTSTART:20220527T070000Z
DTEND:20220527T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:32333237-3238-4635-b562-666462326661
DTSTAMP:20260829T070634Z
DESCRIPTION:
DTSTART:20220603T070000Z
DTEND:20220603T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38376561-3234-4334-b430-636231343635
DTSTAMP:20260829T070634Z
DESCRIPTION:
DTSTART:20220617T070000Z
DTEND:20220617T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:34663632-3766-4562-a132-383734366438
DTSTAMP:20260829T070634Z
DESCRIPTION:
DTSTART:20220624T070000Z
DTEND:20220624T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62396164-3031-4538-b237-353831646162
DTSTAMP:20260829T070634Z
DESCRIPTION:
DTSTART:20220701T070000Z
DTEND:20220701T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64613936-3239-4730-a534-353833363430
DTSTAMP:20260829T070634Z
DESCRIPTION:
DTSTART:20220708T070000Z
DTEND:20220708T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64323836-6137-4632-b061-663362643636
DTSTAMP:20260829T070634Z
DESCRIPTION:
DTSTART:20220715T070000Z
DTEND:20220715T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
END:VCALENDAR