BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:61336532-3039-4132-b137-336637363262
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:38363638-6235-4535-a531-666565363963
DTSTAMP:20260607T220303Z
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:61616135-6362-4136-b335-623165646664
DTSTAMP:20260607T220303Z
DESCRIPTION:
DTSTART:20241213T080000Z
DTEND:20241213T100000Z
LOCATION:E9.1\, 0.07
SUMMARY:Farwsp24: Exam Inspection
END:VEVENT
BEGIN:VEVENT
UID:62616465-6366-4938-b437-633633373838
DTSTAMP:20260607T220303Z
DESCRIPTION:
DTSTART:20250114T120000Z
DTEND:20250114T140000Z
SUMMARY:Farwsp24: Office Hours + Exam Inspection
END:VEVENT
BEGIN:VEVENT
UID:39346535-3139-4134-b032-333162373338
DTSTAMP:20260607T220303Z
DESCRIPTION:
DTSTART:20250121T120000Z
DTEND:20250121T140000Z
SUMMARY:Farwsp24: Office Hours + Exam Inspection
END:VEVENT
BEGIN:VEVENT
UID:65356137-3639-4631-b538-663765383565
DTSTAMP:20260607T220303Z
DESCRIPTION:
DTSTART:20250128T120000Z
DTEND:20250128T140000Z
SUMMARY:Farwsp24: Office Hours + Exam Inspection
END:VEVENT
BEGIN:VEVENT
UID:62636161-6436-4539-b138-613134326335
DTSTAMP:20260607T220303Z
DESCRIPTION:
DTSTART:20250204T120000Z
DTEND:20250204T140000Z
SUMMARY:Farwsp24: Office Hours
END:VEVENT
BEGIN:VEVENT
UID:31653433-3035-4664-a637-333036363466
DTSTAMP:20260607T220303Z
DESCRIPTION:
DTSTART:20250211T120000Z
DTEND:20250211T140000Z
SUMMARY:Farwsp24: Office Hours
END:VEVENT
BEGIN:VEVENT
UID:39653562-3032-4936-b763-616166353965
DTSTAMP:20260607T220303Z
DESCRIPTION:
DTSTART:20250218T120000Z
DTEND:20250218T140000Z
SUMMARY:Farwsp24: Office Hours
END:VEVENT
BEGIN:VEVENT
UID:34343833-3865-4266-b264-316164646538
DTSTAMP:20260607T220303Z
DESCRIPTION:
DTSTART:20250225T120000Z
DTEND:20250225T140000Z
SUMMARY:Farwsp24: Office Hours
END:VEVENT
END:VCALENDAR
