BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:31323331-3562-4238-a135-336233326336
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:62313464-3439-4839-a138-376432626531
DTSTAMP:20260719T102931Z
DESCRIPTION:
DTSTART:20220506T070000Z
DTEND:20220506T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:65633536-3936-4166-b862-356662393237
DTSTAMP:20260719T102931Z
DESCRIPTION:
DTSTART:20220513T070000Z
DTEND:20220513T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39383534-6136-4935-a662-323263326565
DTSTAMP:20260719T102931Z
DESCRIPTION:
DTSTART:20220520T070000Z
DTEND:20220520T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:35303339-3666-4364-b162-313334396139
DTSTAMP:20260719T102931Z
DESCRIPTION:
DTSTART:20220527T070000Z
DTEND:20220527T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64323233-6162-4661-b236-363064613065
DTSTAMP:20260719T102931Z
DESCRIPTION:
DTSTART:20220603T070000Z
DTEND:20220603T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38343831-3363-4233-b838-613434346561
DTSTAMP:20260719T102931Z
DESCRIPTION:
DTSTART:20220617T070000Z
DTEND:20220617T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30383463-3437-4332-a337-303663613633
DTSTAMP:20260719T102931Z
DESCRIPTION:
DTSTART:20220624T070000Z
DTEND:20220624T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:34376131-3635-4431-b137-316536343966
DTSTAMP:20260719T102931Z
DESCRIPTION:
DTSTART:20220701T070000Z
DTEND:20220701T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37386339-6533-4536-b030-366265356266
DTSTAMP:20260719T102931Z
DESCRIPTION:
DTSTART:20220708T070000Z
DTEND:20220708T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:35336538-6238-4165-b839-326537356232
DTSTAMP:20260719T102931Z
DESCRIPTION:
DTSTART:20220715T070000Z
DTEND:20220715T100000Z
LOCATION:Discord
SUMMARY:Farwsp22: Office Hour
END:VEVENT
END:VCALENDAR