BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:63343732-3637-4761-a434-373162393463
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:61366665-3662-4063-b536-343565653632
DTSTAMP:20260427T152422Z
DESCRIPTION:
DTSTART:20241126T113000Z
DTEND:20241126T163000Z
LOCATION:E9 1 (CISPA)\, room 0.05 (lecture hall ground floor)
SUMMARY:Farwsp24: Office Hour Midterm
END:VEVENT
BEGIN:VEVENT
UID:63343066-3664-4438-b966-313034386133
DTSTAMP:20260427T152422Z
DESCRIPTION:
DTSTART:20241213T080000Z
DTEND:20241213T100000Z
LOCATION:E9.1\, 0.07
SUMMARY:Farwsp24: Exam Inspection
END:VEVENT
BEGIN:VEVENT
UID:36666536-6536-4033-b535-653262366539
DTSTAMP:20260427T152422Z
DESCRIPTION:
DTSTART:20250114T120000Z
DTEND:20250114T140000Z
SUMMARY:Farwsp24: Office Hours + Exam Inspection
END:VEVENT
BEGIN:VEVENT
UID:62373031-6637-4038-b338-666563393432
DTSTAMP:20260427T152422Z
DESCRIPTION:
DTSTART:20250121T120000Z
DTEND:20250121T140000Z
SUMMARY:Farwsp24: Office Hours + Exam Inspection
END:VEVENT
BEGIN:VEVENT
UID:32373231-6464-4565-a239-306237353630
DTSTAMP:20260427T152422Z
DESCRIPTION:
DTSTART:20250128T120000Z
DTEND:20250128T140000Z
SUMMARY:Farwsp24: Office Hours + Exam Inspection
END:VEVENT
BEGIN:VEVENT
UID:35336130-3764-4031-a663-646664316236
DTSTAMP:20260427T152422Z
DESCRIPTION:
DTSTART:20250204T120000Z
DTEND:20250204T140000Z
SUMMARY:Farwsp24: Office Hours
END:VEVENT
BEGIN:VEVENT
UID:36646139-3037-4432-a161-336266333836
DTSTAMP:20260427T152422Z
DESCRIPTION:
DTSTART:20250211T120000Z
DTEND:20250211T140000Z
SUMMARY:Farwsp24: Office Hours
END:VEVENT
BEGIN:VEVENT
UID:35386533-3232-4231-b331-303130363832
DTSTAMP:20260427T152422Z
DESCRIPTION:
DTSTART:20250218T120000Z
DTEND:20250218T140000Z
SUMMARY:Farwsp24: Office Hours
END:VEVENT
BEGIN:VEVENT
UID:37636466-3064-4862-a433-356661663965
DTSTAMP:20260427T152422Z
DESCRIPTION:
DTSTART:20250225T120000Z
DTEND:20250225T140000Z
SUMMARY:Farwsp24: Office Hours
END:VEVENT
END:VCALENDAR