BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:64393339-3266-4731-a335-356665303636
X-WR-CALNAME:Parameterized Verification Calendar
X-WR-CALDESC:Events of the lecture Parameterized Verification
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:61333331-3866-4636-a564-316366303735
DTSTAMP:20260620T001203Z
DESCRIPTION:
DTSTART:20260410T080000Z
DTEND:20260410T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64336638-6338-4835-b435-616532356430
DTSTAMP:20260620T001203Z
DESCRIPTION:
DTSTART:20260417T080000Z
DTEND:20260417T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36636462-3035-4432-b764-623366663762
DTSTAMP:20260620T001203Z
DESCRIPTION:
DTSTART:20260424T080000Z
DTEND:20260424T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66656566-3138-4032-b966-303031663864
DTSTAMP:20260620T001203Z
DESCRIPTION:
DTSTART:20260508T080000Z
DTEND:20260508T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34646331-6564-4065-b765-353833623836
DTSTAMP:20260620T001203Z
DESCRIPTION:
DTSTART:20260515T080000Z
DTEND:20260515T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37663062-6634-4464-b862-366665656134
DTSTAMP:20260620T001203Z
DESCRIPTION:
DTSTART:20260522T080000Z
DTEND:20260522T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62396563-6532-4163-b762-376565323666
DTSTAMP:20260620T001203Z
DESCRIPTION:
DTSTART:20260605T080000Z
DTEND:20260605T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36626434-6139-4061-b231-333963386161
DTSTAMP:20260620T001203Z
DESCRIPTION:
DTSTART:20260612T080000Z
DTEND:20260612T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61646539-3430-4530-b133-333331336433
DTSTAMP:20260620T001203Z
DESCRIPTION:
DTSTART:20260619T080000Z
DTEND:20260619T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38306631-6236-4839-b436-333134623961
DTSTAMP:20260620T001203Z
DESCRIPTION:
DTSTART:20260626T080000Z
DTEND:20260626T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36336536-6266-4337-b834-393966623131
DTSTAMP:20260620T001203Z
DESCRIPTION:
DTSTART:20260703T080000Z
DTEND:20260703T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture (not in usual room)
END:VEVENT
BEGIN:VEVENT
UID:62376234-3564-4232-a430-633633636463
DTSTAMP:20260620T001203Z
DESCRIPTION:
DTSTART:20260710T080000Z
DTEND:20260710T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
END:VCALENDAR