BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:30343933-6631-4139-b635-313234643266
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:64386663-6661-4535-a266-623735626531
DTSTAMP:20261105T160034Z
DESCRIPTION:
DTSTART:20251201T130000Z
DTEND:20251201T150000Z
LOCATION:E9 1\, 0.05
SUMMARY:Farwsp25: Office Hour
END:VEVENT
END:VCALENDAR