BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:65343565-3765-4665-a235-396331613730
X-WR-CALNAME:Parameterized Verification Calendar
X-WR-CALDESC:Events of the lecture Parameterized Verification
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:62393763-3165-4437-a361-653465633337
DTSTAMP:20260704T223023Z
DESCRIPTION:
DTSTART:20240419T080000Z
DTEND:20240419T100000Z
LOCATION:CISPA\, lecture hall 0.05
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37303365-3330-4666-b034-663066666365
DTSTAMP:20260704T223023Z
DESCRIPTION:
DTSTART:20240426T080000Z
DTEND:20240426T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31636237-6438-4863-b164-353164373962
DTSTAMP:20260704T223023Z
DESCRIPTION:
DTSTART:20240503T080000Z
DTEND:20240503T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36663730-3265-4238-a235-623065326561
DTSTAMP:20260704T223023Z
DESCRIPTION:
DTSTART:20240510T080000Z
DTEND:20240510T100000Z
LOCATION:CISPA\, lecture hall 0.05
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33353563-6265-4331-b131-323132336662
DTSTAMP:20260704T223023Z
DESCRIPTION:
DTSTART:20240517T080000Z
DTEND:20240517T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38303761-6465-4165-a666-343633303937
DTSTAMP:20260704T223023Z
DESCRIPTION:
DTSTART:20240524T080000Z
DTEND:20240524T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30313162-3030-4636-a132-366434386431
DTSTAMP:20260704T223023Z
DESCRIPTION:
DTSTART:20240607T080000Z
DTEND:20240607T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39653562-6532-4764-a637-653238343334
DTSTAMP:20260704T223023Z
DESCRIPTION:
DTSTART:20240614T080000Z
DTEND:20240614T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66363733-3566-4131-b235-326432376430
DTSTAMP:20260704T223023Z
DESCRIPTION:
DTSTART:20240621T080000Z
DTEND:20240621T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38646538-6537-4338-b165-393136313837
DTSTAMP:20260704T223023Z
DESCRIPTION:
DTSTART:20240628T080000Z
DTEND:20240628T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64653164-3861-4435-b532-346132313561
DTSTAMP:20260704T223023Z
DESCRIPTION:
DTSTART:20240705T080000Z
DTEND:20240705T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63346633-6137-4266-b261-386237343234
DTSTAMP:20260704T223023Z
DESCRIPTION:
DTSTART:20240712T080000Z
DTEND:20240712T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61643337-3032-4433-b533-333131643863
DTSTAMP:20260704T223023Z
DESCRIPTION:
DTSTART:20240719T080000Z
DTEND:20240719T100000Z
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64613734-6335-4337-b533-316237393930
DTSTAMP:20260704T223023Z
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:36626337-3339-4538-b537-336132363464
DTSTAMP:20260704T223023Z
DESCRIPTION:
DTSTART:20240927T070000Z
DTEND:20240927T070000Z
LOCATION:C0
SUMMARY:Reexam
END:VEVENT
END:VCALENDAR