BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:35393138-3635-4935-b863-316663303334
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:30646161-3661-4335-a337-313732313264
DTSTAMP:20260430T033401Z
DESCRIPTION:
DTSTART:20241108T151500Z
DTEND:20241108T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:31646636-6232-4932-b535-386261663635
DTSTAMP:20260430T033401Z
DESCRIPTION:
DTSTART:20241115T151500Z
DTEND:20241115T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:32353261-6465-4037-b039-663535326431
DTSTAMP:20260430T033401Z
DESCRIPTION:
DTSTART:20241122T151500Z
DTEND:20241122T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:62616461-6161-4134-b130-633233393938
DTSTAMP:20260430T033401Z
DESCRIPTION:
DTSTART:20241129T151500Z
DTEND:20241129T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:30663264-3866-4039-a432-356366333538
DTSTAMP:20260430T033401Z
DESCRIPTION:
DTSTART:20241206T151500Z
DTEND:20241206T164500Z
LOCATION:E9.1 (CISPA Building C0)\, Lecture Hall 0.05
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:34316266-3331-4338-a365-363162623634
DTSTAMP:20260430T033401Z
DESCRIPTION:
DTSTART:20241213T151500Z
DTEND:20241213T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:30656563-3138-4861-b262-656165363439
DTSTAMP:20260430T033401Z
DESCRIPTION:
DTSTART:20241220T151500Z
DTEND:20241220T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:33383262-3532-4562-a631-313636633962
DTSTAMP:20260430T033401Z
DESCRIPTION:
DTSTART:20250110T151500Z
DTEND:20250110T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:38626461-6633-4364-b430-346665623533
DTSTAMP:20260430T033401Z
DESCRIPTION:
DTSTART:20250117T151500Z
DTEND:20250117T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:35336136-3964-4033-a662-646538376134
DTSTAMP:20260430T033401Z
DESCRIPTION:
DTSTART:20250131T151500Z
DTEND:20250131T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:34343762-3636-4239-a464-623032373734
DTSTAMP:20260430T033401Z
DESCRIPTION:
DTSTART:20250207T151500Z
DTEND:20250207T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
END:VCALENDAR