BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:32313936-3063-4530-b364-343964393761
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:32333434-3663-4464-b262-613438613732
DTSTAMP:20261027T123317Z
DESCRIPTION:
DTSTART:20241108T151500Z
DTEND:20241108T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:31643831-3739-4733-b839-313565633637
DTSTAMP:20261027T123317Z
DESCRIPTION:
DTSTART:20241115T151500Z
DTEND:20241115T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:30653564-3336-4137-b866-336339356564
DTSTAMP:20261027T123317Z
DESCRIPTION:
DTSTART:20241122T151500Z
DTEND:20241122T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:62343836-3462-4635-b361-396134353030
DTSTAMP:20261027T123317Z
DESCRIPTION:
DTSTART;VALUE=DATE:20241125
DTEND;VALUE=DATE:20241126
SUMMARY:Deadline for registration in LSF
END:VEVENT
BEGIN:VEVENT
UID:65386335-3335-4662-b636-353162623832
DTSTAMP:20261027T123317Z
DESCRIPTION:
DTSTART:20241129T151500Z
DTEND:20241129T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:61383364-3932-4664-a535-306633656637
DTSTAMP:20261027T123317Z
DESCRIPTION:
DTSTART:20241206T151500Z
DTEND:20241206T164500Z
LOCATION:E9.1 (CISPA Building C0)\, Lecture Hall 0.05
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:36666161-3237-4366-a335-663563353266
DTSTAMP:20261027T123317Z
DESCRIPTION:
DTSTART:20241213T151500Z
DTEND:20241213T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:32343962-6339-4562-b962-396231386132
DTSTAMP:20261027T123317Z
DESCRIPTION:
DTSTART:20241220T151500Z
DTEND:20241220T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:38336339-6538-4264-b738-316437666465
DTSTAMP:20261027T123317Z
DESCRIPTION:
DTSTART:20250110T151500Z
DTEND:20250110T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:32623834-3061-4331-a665-616265303963
DTSTAMP:20261027T123317Z
DESCRIPTION:
DTSTART:20250117T151500Z
DTEND:20250117T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:33393132-6234-4937-b662-623732653762
DTSTAMP:20261027T123317Z
DESCRIPTION:
DTSTART:20250131T151500Z
DTEND:20250131T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:66346666-6135-4338-b764-303739616533
DTSTAMP:20261027T123317Z
DESCRIPTION:
DTSTART:20250207T151500Z
DTEND:20250207T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:31356161-3430-4363-b861-373365373937
DTSTAMP:20261027T123317Z
DESCRIPTION:
DTSTART:20250314T225900Z
DTEND:20250314T225900Z
SUMMARY:Deadine for submission of draft summary for feedback
END:VEVENT
BEGIN:VEVENT
UID:32353465-3964-4462-a331-666566373831
DTSTAMP:20261027T123317Z
DESCRIPTION:
DTSTART:20250404T215900Z
DTEND:20250404T215900Z
SUMMARY:Deadline for submission of summary
END:VEVENT
END:VCALENDAR