BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:39653236-3233-4061-b465-396333363739
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:31313731-3435-4035-b734-343634656530
DTSTAMP:20260430T045055Z
DESCRIPTION:
DTSTART:20241108T151500Z
DTEND:20241108T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:30306565-6464-4161-b030-613732653965
DTSTAMP:20260430T045055Z
DESCRIPTION:
DTSTART:20241115T151500Z
DTEND:20241115T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:34366162-3565-4562-b564-363030376539
DTSTAMP:20260430T045055Z
DESCRIPTION:
DTSTART:20241122T151500Z
DTEND:20241122T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:33356465-6630-4864-a461-343330633831
DTSTAMP:20260430T045055Z
DESCRIPTION:
DTSTART;VALUE=DATE:20241125
DTEND;VALUE=DATE:20241126
SUMMARY:Decproc: Deadline for registration in LSF
END:VEVENT
BEGIN:VEVENT
UID:63653134-3938-4565-a361-313234383033
DTSTAMP:20260430T045055Z
DESCRIPTION:
DTSTART:20241129T151500Z
DTEND:20241129T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:65376665-6139-4561-b137-346635316265
DTSTAMP:20260430T045055Z
DESCRIPTION:
DTSTART:20241206T151500Z
DTEND:20241206T164500Z
LOCATION:E9.1 (CISPA Building C0)\, Lecture Hall 0.05
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:66316566-3232-4637-a335-653064623132
DTSTAMP:20260430T045055Z
DESCRIPTION:
DTSTART:20241213T151500Z
DTEND:20241213T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:35623362-6165-4138-a439-636138656361
DTSTAMP:20260430T045055Z
DESCRIPTION:
DTSTART:20241220T151500Z
DTEND:20241220T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:64633031-3465-4530-a261-323336373432
DTSTAMP:20260430T045055Z
DESCRIPTION:
DTSTART:20250110T151500Z
DTEND:20250110T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:34626433-3030-4164-b963-306130633666
DTSTAMP:20260430T045055Z
DESCRIPTION:
DTSTART:20250117T151500Z
DTEND:20250117T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:37366638-3131-4162-a136-633162656534
DTSTAMP:20260430T045055Z
DESCRIPTION:
DTSTART:20250131T151500Z
DTEND:20250131T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:62626138-3536-4434-b831-376536616632
DTSTAMP:20260430T045055Z
DESCRIPTION:
DTSTART:20250207T151500Z
DTEND:20250207T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:38306339-6162-4335-b162-633532623337
DTSTAMP:20260430T045055Z
DESCRIPTION:
DTSTART:20250314T225900Z
DTEND:20250314T225900Z
SUMMARY:Decproc: Deadine for submission of draft summary for feedback
END:VEVENT
BEGIN:VEVENT
UID:31623166-3239-4361-b930-326666353737
DTSTAMP:20260430T045055Z
DESCRIPTION:
DTSTART:20250404T215900Z
DTEND:20250404T215900Z
SUMMARY:Decproc: Deadline for submission of summary
END:VEVENT
END:VCALENDAR