BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:64333734-6231-4434-b734-333933633261
X-WR-CALNAME:Parameterized Verification Calendar
X-WR-CALDESC:Events of the lecture Parameterized Verification
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:35363234-3063-4536-b032-353534323732
DTSTAMP:20260418T060320Z
DESCRIPTION:
DTSTART:20260410T080000Z
DTEND:20260410T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34353362-3434-4835-a135-393035656333
DTSTAMP:20260418T060320Z
DESCRIPTION:
DTSTART:20260417T080000Z
DTEND:20260417T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39363963-3565-4366-a335-303362336435
DTSTAMP:20260418T060320Z
DESCRIPTION:
DTSTART:20260424T080000Z
DTEND:20260424T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38366463-3436-4264-a462-323261396631
DTSTAMP:20260418T060320Z
DESCRIPTION:
DTSTART:20260501T080000Z
DTEND:20260501T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32643132-3365-4065-b163-343531663035
DTSTAMP:20260418T060320Z
DESCRIPTION:
DTSTART:20260508T080000Z
DTEND:20260508T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34333166-6132-4465-a133-643230346262
DTSTAMP:20260418T060320Z
DESCRIPTION:
DTSTART:20260515T080000Z
DTEND:20260515T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64353734-3735-4665-a463-366234666366
DTSTAMP:20260418T060320Z
DESCRIPTION:
DTSTART:20260522T080000Z
DTEND:20260522T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31666365-3237-4366-a337-386430326436
DTSTAMP:20260418T060320Z
DESCRIPTION:
DTSTART:20260529T080000Z
DTEND:20260529T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30386635-3639-4533-b231-316266666264
DTSTAMP:20260418T060320Z
DESCRIPTION:
DTSTART:20260605T080000Z
DTEND:20260605T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35393737-6336-4936-b636-656438393362
DTSTAMP:20260418T060320Z
DESCRIPTION:
DTSTART:20260612T080000Z
DTEND:20260612T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34346437-3338-4934-a531-633363633631
DTSTAMP:20260418T060320Z
DESCRIPTION:
DTSTART:20260619T080000Z
DTEND:20260619T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38313134-3238-4636-b861-343236333137
DTSTAMP:20260418T060320Z
DESCRIPTION:
DTSTART:20260626T080000Z
DTEND:20260626T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37346339-3937-4838-b336-636537333733
DTSTAMP:20260418T060320Z
DESCRIPTION:
DTSTART:20260703T080000Z
DTEND:20260703T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture (not in usual room)
END:VEVENT
BEGIN:VEVENT
UID:62343664-3038-4435-b236-376130366536
DTSTAMP:20260418T060320Z
DESCRIPTION:
DTSTART:20260710T080000Z
DTEND:20260710T100000Z
LOCATION:CISPA\, room 0.07
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36636636-3131-4236-a539-376666306335
DTSTAMP:20260418T060320Z
DESCRIPTION:
DTSTART;VALUE=DATE:20260716
DTEND;VALUE=DATE:20260718
LOCATION:tbd
SUMMARY:Oral Exams
END:VEVENT
END:VCALENDAR