BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:34613661-3832-4537-b433-616662326539
X-WR-CALNAME:Parameterized Verification Calendar
X-WR-CALDESC:Events of the lecture Parameterized Verification
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:30613735-3761-4036-b236-326530343466
DTSTAMP:20260925T215622Z
DESCRIPTION:
DTSTART:20240419T080000Z
DTEND:20240419T100000Z
LOCATION:CISPA\, lecture hall 0.05
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32616135-6439-4934-b339-636639336564
DTSTAMP:20260925T215622Z
DESCRIPTION:
DTSTART:20240426T080000Z
DTEND:20240426T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65616432-3439-4033-a661-343463353735
DTSTAMP:20260925T215622Z
DESCRIPTION:
DTSTART:20240503T080000Z
DTEND:20240503T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38316534-6664-4830-b236-306561393133
DTSTAMP:20260925T215622Z
DESCRIPTION:
DTSTART:20240510T080000Z
DTEND:20240510T100000Z
LOCATION:CISPA\, lecture hall 0.05
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63353933-3162-4163-a134-313937343363
DTSTAMP:20260925T215622Z
DESCRIPTION:
DTSTART:20240517T080000Z
DTEND:20240517T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33306362-3762-4331-a266-316235313933
DTSTAMP:20260925T215622Z
DESCRIPTION:
DTSTART:20240524T080000Z
DTEND:20240524T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62393531-6437-4362-a534-353764386236
DTSTAMP:20260925T215622Z
DESCRIPTION:
DTSTART:20240607T080000Z
DTEND:20240607T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65613264-3532-4233-a566-646161306666
DTSTAMP:20260925T215622Z
DESCRIPTION:
DTSTART:20240614T080000Z
DTEND:20240614T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66643731-6131-4465-b134-313531363532
DTSTAMP:20260925T215622Z
DESCRIPTION:
DTSTART:20240621T080000Z
DTEND:20240621T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35316336-3764-4933-a333-386530396330
DTSTAMP:20260925T215622Z
DESCRIPTION:
DTSTART:20240628T080000Z
DTEND:20240628T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30623734-3530-4035-b231-333962663636
DTSTAMP:20260925T215622Z
DESCRIPTION:
DTSTART:20240705T080000Z
DTEND:20240705T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31353761-6462-4764-a264-353731373034
DTSTAMP:20260925T215622Z
DESCRIPTION:
DTSTART:20240712T080000Z
DTEND:20240712T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61663465-6131-4361-b163-393061653337
DTSTAMP:20260925T215622Z
DESCRIPTION:
DTSTART:20240719T080000Z
DTEND:20240719T100000Z
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30396139-3333-4638-a562-343135383166
DTSTAMP:20260925T215622Z
DESCRIPTION:Check your status page for your assigned time slot.
DTSTART:20240802T070000Z
DTEND:20240802T140000Z
LOCATION:Room 3.21\, CISPA Building (E9.1)
SUMMARY:Exam
END:VEVENT
BEGIN:VEVENT
UID:36303362-6134-4538-b236-316336613136
DTSTAMP:20260925T215622Z
DESCRIPTION:
DTSTART:20240927T070000Z
DTEND:20240927T070000Z
LOCATION:C0
SUMMARY:Reexam
END:VEVENT
END:VCALENDAR