BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62343539-3632-4838-b537-653863666431
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:38656130-6134-4530-a631-633866356432
DTSTAMP:20260521T034925Z
DESCRIPTION:
DTSTART:20241108T151500Z
DTEND:20241108T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:31356361-3062-4039-a532-656431366333
DTSTAMP:20260521T034925Z
DESCRIPTION:
DTSTART:20241115T151500Z
DTEND:20241115T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:62383639-6531-4531-b166-613166363031
DTSTAMP:20260521T034925Z
DESCRIPTION:
DTSTART:20241122T151500Z
DTEND:20241122T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:66366366-3833-4431-b437-356161303736
DTSTAMP:20260521T034925Z
DESCRIPTION:
DTSTART:20241129T151500Z
DTEND:20241129T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:61646339-3765-4130-b664-613230646336
DTSTAMP:20260521T034925Z
DESCRIPTION:
DTSTART:20241206T151500Z
DTEND:20241206T164500Z
LOCATION:E9.1 (CISPA Building C0)\, Lecture Hall 0.05
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:62333934-6238-4361-a131-663561356366
DTSTAMP:20260521T034925Z
DESCRIPTION:
DTSTART:20241213T151500Z
DTEND:20241213T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:61653363-3936-4963-b262-386461653037
DTSTAMP:20260521T034925Z
DESCRIPTION:
DTSTART:20241220T151500Z
DTEND:20241220T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:33363339-3266-4963-b165-663134393935
DTSTAMP:20260521T034925Z
DESCRIPTION:
DTSTART:20250110T151500Z
DTEND:20250110T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:34633238-3065-4237-a461-616533333566
DTSTAMP:20260521T034925Z
DESCRIPTION:
DTSTART:20250117T151500Z
DTEND:20250117T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:32323138-3338-4362-a363-636135616233
DTSTAMP:20260521T034925Z
DESCRIPTION:
DTSTART:20250131T151500Z
DTEND:20250131T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:31306533-3261-4265-b661-633961636530
DTSTAMP:20260521T034925Z
DESCRIPTION:
DTSTART:20250207T151500Z
DTEND:20250207T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
END:VCALENDAR