BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:63656232-3537-4363-b833-323861353235
X-WR-CALNAME:Parameterized Verification Calendar
X-WR-CALDESC:Events of the lecture Parameterized Verification
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:39663965-3734-4262-a561-616565623736
DTSTAMP:20260726T175400Z
DESCRIPTION:
DTSTART:20240419T080000Z
DTEND:20240419T100000Z
LOCATION:CISPA\, lecture hall 0.05
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62663035-6134-4437-b332-636336313165
DTSTAMP:20260726T175400Z
DESCRIPTION:
DTSTART:20240426T080000Z
DTEND:20240426T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64666535-3466-4439-b933-346537326162
DTSTAMP:20260726T175400Z
DESCRIPTION:
DTSTART:20240503T080000Z
DTEND:20240503T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66323364-3064-4965-a630-376138633162
DTSTAMP:20260726T175400Z
DESCRIPTION:
DTSTART:20240510T080000Z
DTEND:20240510T100000Z
LOCATION:CISPA\, lecture hall 0.05
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35653462-3064-4461-a630-343963363533
DTSTAMP:20260726T175400Z
DESCRIPTION:
DTSTART:20240517T080000Z
DTEND:20240517T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34616264-3430-4234-a264-623834396335
DTSTAMP:20260726T175400Z
DESCRIPTION:
DTSTART:20240524T080000Z
DTEND:20240524T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33333831-6263-4539-b936-626165393132
DTSTAMP:20260726T175400Z
DESCRIPTION:
DTSTART:20240607T080000Z
DTEND:20240607T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37336336-3538-4233-b530-386465666232
DTSTAMP:20260726T175400Z
DESCRIPTION:
DTSTART:20240614T080000Z
DTEND:20240614T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30386137-3832-4336-a562-363464636464
DTSTAMP:20260726T175400Z
DESCRIPTION:
DTSTART:20240621T080000Z
DTEND:20240621T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36646437-3435-4238-b064-666566383032
DTSTAMP:20260726T175400Z
DESCRIPTION:
DTSTART:20240628T080000Z
DTEND:20240628T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30376665-3033-4663-b465-373330653430
DTSTAMP:20260726T175400Z
DESCRIPTION:
DTSTART:20240705T080000Z
DTEND:20240705T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30636337-3064-4933-b365-656461656531
DTSTAMP:20260726T175400Z
DESCRIPTION:
DTSTART:20240712T080000Z
DTEND:20240712T100000Z
LOCATION:CISPA\, room 0.02
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36376264-3636-4761-b363-333561663533
DTSTAMP:20260726T175400Z
DESCRIPTION:
DTSTART:20240719T080000Z
DTEND:20240719T100000Z
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35636238-6230-4339-a134-303164343162
DTSTAMP:20260726T175400Z
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:36333634-6234-4834-a464-663933333538
DTSTAMP:20260726T175400Z
DESCRIPTION:
DTSTART:20240927T070000Z
DTEND:20240927T070000Z
LOCATION:C0
SUMMARY:Reexam
END:VEVENT
END:VCALENDAR