BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:35383137-3030-4035-b936-643238626362
X-WR-CALNAME:Logical Reasoning for Program Verification and Synthesis Calen
 dar
X-WR-CALDESC:Events of the lecture Logical Reasoning for Program Verificati
 on and Synthesis
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:62383239-3131-4962-b839-656136393166
DTSTAMP:20260726T165341Z
DESCRIPTION:
DTSTART:20241108T151500Z
DTEND:20241108T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:61393433-3534-4430-a637-376639663835
DTSTAMP:20260726T165341Z
DESCRIPTION:
DTSTART:20241115T151500Z
DTEND:20241115T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:33376130-6364-4061-a639-333664303939
DTSTAMP:20260726T165341Z
DESCRIPTION:
DTSTART:20241122T151500Z
DTEND:20241122T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:36616330-3366-4832-b931-383163646136
DTSTAMP:20260726T165341Z
DESCRIPTION:
DTSTART;VALUE=DATE:20241125
DTEND;VALUE=DATE:20241126
SUMMARY:Deadline for registration in LSF
END:VEVENT
BEGIN:VEVENT
UID:63306261-6665-4661-b630-663963343438
DTSTAMP:20260726T165341Z
DESCRIPTION:
DTSTART:20241129T151500Z
DTEND:20241129T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:35356335-3431-4337-b334-323532643931
DTSTAMP:20260726T165341Z
DESCRIPTION:
DTSTART:20241206T151500Z
DTEND:20241206T164500Z
LOCATION:E9.1 (CISPA Building C0)\, Lecture Hall 0.05
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:64666437-3130-4434-a466-616564323066
DTSTAMP:20260726T165341Z
DESCRIPTION:
DTSTART:20241213T151500Z
DTEND:20241213T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:66396465-6437-4463-b233-393764383238
DTSTAMP:20260726T165341Z
DESCRIPTION:
DTSTART:20241220T151500Z
DTEND:20241220T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:35656236-6136-4637-a239-313238613961
DTSTAMP:20260726T165341Z
DESCRIPTION:
DTSTART:20250110T151500Z
DTEND:20250110T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:63616361-3537-4134-b765-653366643133
DTSTAMP:20260726T165341Z
DESCRIPTION:
DTSTART:20250117T151500Z
DTEND:20250117T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:62383063-6134-4632-a433-313733666663
DTSTAMP:20260726T165341Z
DESCRIPTION:
DTSTART:20250131T151500Z
DTEND:20250131T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:62646539-6331-4537-b634-353237313934
DTSTAMP:20260726T165341Z
DESCRIPTION:
DTSTART:20250207T151500Z
DTEND:20250207T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:31356431-6332-4831-b465-653138343966
DTSTAMP:20260726T165341Z
DESCRIPTION:
DTSTART:20250314T225900Z
DTEND:20250314T225900Z
SUMMARY:Deadine for submission of draft summary for feedback
END:VEVENT
BEGIN:VEVENT
UID:66373966-6161-4238-a237-366361386439
DTSTAMP:20260726T165341Z
DESCRIPTION:
DTSTART:20250404T215900Z
DTEND:20250404T215900Z
SUMMARY:Deadline for submission of summary
END:VEVENT
END:VCALENDAR