BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:61333533-6662-4166-b934-616638646535
X-WR-CALNAME:Parameterized Verification Calendar
X-WR-CALDESC:Events of the lecture Parameterized Verification
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:32333436-6331-4037-a236-366361663233
DTSTAMP:20260731T040404Z
DESCRIPTION:
DTSTART:20260410T080000Z
DTEND:20260410T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30643439-6435-4831-b766-636233353264
DTSTAMP:20260731T040404Z
DESCRIPTION:
DTSTART:20260417T080000Z
DTEND:20260417T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32373333-6132-4263-b239-353436616463
DTSTAMP:20260731T040404Z
DESCRIPTION:
DTSTART:20260424T080000Z
DTEND:20260424T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36626563-3736-4439-b065-316134306564
DTSTAMP:20260731T040404Z
DESCRIPTION:
DTSTART:20260508T080000Z
DTEND:20260508T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32393235-3939-4837-b761-653839333735
DTSTAMP:20260731T040404Z
DESCRIPTION:
DTSTART:20260515T080000Z
DTEND:20260515T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61313162-3634-4136-b462-653838633661
DTSTAMP:20260731T040404Z
DESCRIPTION:
DTSTART:20260522T080000Z
DTEND:20260522T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36656339-3139-4332-a661-616536353232
DTSTAMP:20260731T040404Z
DESCRIPTION:
DTSTART:20260605T080000Z
DTEND:20260605T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31363330-6233-4732-a334-343661346431
DTSTAMP:20260731T040404Z
DESCRIPTION:
DTSTART:20260612T080000Z
DTEND:20260612T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63313131-6461-4438-b563-306131393638
DTSTAMP:20260731T040404Z
DESCRIPTION:
DTSTART:20260619T080000Z
DTEND:20260619T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64343861-6562-4233-a633-623663633162
DTSTAMP:20260731T040404Z
DESCRIPTION:
DTSTART:20260626T080000Z
DTEND:20260626T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61306533-3739-4632-b839-356533346665
DTSTAMP:20260731T040404Z
DESCRIPTION:
DTSTART:20260710T080000Z
DTEND:20260710T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64326134-3233-4466-a162-306564626637
DTSTAMP:20260731T040404Z
DESCRIPTION:
DTSTART;VALUE=DATE:20260716
DTEND;VALUE=DATE:20260718
LOCATION:tbd
SUMMARY:Oral Exams
END:VEVENT
END:VCALENDAR