BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:32316631-3736-4361-b265-623531336130
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:31303764-6439-4864-b634-353166613365
DTSTAMP:20260726T155231Z
DESCRIPTION:
DTSTART:20241108T151500Z
DTEND:20241108T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:36646636-6266-4365-b133-363630636263
DTSTAMP:20260726T155231Z
DESCRIPTION:
DTSTART:20241115T151500Z
DTEND:20241115T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:35346361-6538-4962-b139-666266336465
DTSTAMP:20260726T155231Z
DESCRIPTION:
DTSTART:20241122T151500Z
DTEND:20241122T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:64333765-3566-4563-b764-643639363062
DTSTAMP:20260726T155231Z
DESCRIPTION:
DTSTART;VALUE=DATE:20241125
DTEND;VALUE=DATE:20241126
SUMMARY:Decproc: Deadline for registration in LSF
END:VEVENT
BEGIN:VEVENT
UID:34653637-3165-4434-b438-666564303537
DTSTAMP:20260726T155231Z
DESCRIPTION:
DTSTART:20241129T151500Z
DTEND:20241129T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:31663863-6339-4539-b130-353866666365
DTSTAMP:20260726T155231Z
DESCRIPTION:
DTSTART:20241206T151500Z
DTEND:20241206T164500Z
LOCATION:E9.1 (CISPA Building C0)\, Lecture Hall 0.05
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:61643734-6137-4634-b038-323732343336
DTSTAMP:20260726T155231Z
DESCRIPTION:
DTSTART:20241213T151500Z
DTEND:20241213T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:35653732-6333-4465-a564-343938356239
DTSTAMP:20260726T155231Z
DESCRIPTION:
DTSTART:20241220T151500Z
DTEND:20241220T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:38383463-3230-4635-b332-376135666665
DTSTAMP:20260726T155231Z
DESCRIPTION:
DTSTART:20250110T151500Z
DTEND:20250110T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:30383938-3136-4635-b334-393637656339
DTSTAMP:20260726T155231Z
DESCRIPTION:
DTSTART:20250117T151500Z
DTEND:20250117T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:65343235-6266-4362-b333-303831393164
DTSTAMP:20260726T155231Z
DESCRIPTION:
DTSTART:20250131T151500Z
DTEND:20250131T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:36613233-6330-4139-b962-633462316265
DTSTAMP:20260726T155231Z
DESCRIPTION:
DTSTART:20250207T151500Z
DTEND:20250207T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:32386330-3835-4664-b565-663536383134
DTSTAMP:20260726T155231Z
DESCRIPTION:
DTSTART:20250314T225900Z
DTEND:20250314T225900Z
SUMMARY:Decproc: Deadine for submission of draft summary for feedback
END:VEVENT
BEGIN:VEVENT
UID:61653931-3234-4538-b863-356133613938
DTSTAMP:20260726T155231Z
DESCRIPTION:
DTSTART:20250404T215900Z
DTEND:20250404T215900Z
SUMMARY:Decproc: Deadline for submission of summary
END:VEVENT
END:VCALENDAR