BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:39613238-6138-4330-b330-316632613663
X-WR-CALNAME:Parameterized Verification Calendar
X-WR-CALDESC:Events of the lecture Parameterized Verification
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:62316361-3033-4666-b263-623164663739
DTSTAMP:20260820T140214Z
DESCRIPTION:
DTSTART:20260410T080000Z
DTEND:20260410T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63356532-3066-4534-b634-326562363263
DTSTAMP:20260820T140214Z
DESCRIPTION:
DTSTART:20260417T080000Z
DTEND:20260417T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62303137-6465-4137-a636-626665656363
DTSTAMP:20260820T140214Z
DESCRIPTION:
DTSTART:20260424T080000Z
DTEND:20260424T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62343039-3366-4131-b364-623665656432
DTSTAMP:20260820T140214Z
DESCRIPTION:
DTSTART:20260508T080000Z
DTEND:20260508T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39363361-3932-4633-b562-393861656636
DTSTAMP:20260820T140214Z
DESCRIPTION:
DTSTART:20260515T080000Z
DTEND:20260515T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61343165-3665-4762-a637-366638393362
DTSTAMP:20260820T140214Z
DESCRIPTION:
DTSTART:20260522T080000Z
DTEND:20260522T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39346133-6466-4634-a532-346336326463
DTSTAMP:20260820T140214Z
DESCRIPTION:
DTSTART:20260605T080000Z
DTEND:20260605T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31306639-6464-4830-b966-366261393963
DTSTAMP:20260820T140214Z
DESCRIPTION:
DTSTART:20260612T080000Z
DTEND:20260612T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62343736-3261-4137-b562-303533643330
DTSTAMP:20260820T140214Z
DESCRIPTION:
DTSTART:20260619T080000Z
DTEND:20260619T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31376164-3638-4435-b536-313435333033
DTSTAMP:20260820T140214Z
DESCRIPTION:
DTSTART:20260626T080000Z
DTEND:20260626T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65636339-3164-4062-a536-653632333436
DTSTAMP:20260820T140214Z
DESCRIPTION:
DTSTART:20260710T080000Z
DTEND:20260710T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34353538-3136-4432-b962-626237336535
DTSTAMP:20260820T140214Z
DESCRIPTION:
DTSTART;VALUE=DATE:20260716
DTEND;VALUE=DATE:20260718
LOCATION:tbd
SUMMARY:Oral Exams
END:VEVENT
END:VCALENDAR