BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:61326365-3162-4339-b238-633437333361
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:39643935-3566-4536-b733-623363333632
DTSTAMP:20260430T045046Z
DESCRIPTION:
DTSTART:20241108T151500Z
DTEND:20241108T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:65633163-3233-4363-a632-336533343066
DTSTAMP:20260430T045046Z
DESCRIPTION:
DTSTART:20241115T151500Z
DTEND:20241115T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:34653666-3061-4561-b166-316336656466
DTSTAMP:20260430T045046Z
DESCRIPTION:
DTSTART:20241122T151500Z
DTEND:20241122T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:38653061-6363-4263-b263-323734366139
DTSTAMP:20260430T045046Z
DESCRIPTION:
DTSTART:20241129T151500Z
DTEND:20241129T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:37663736-3939-4430-b137-393132656536
DTSTAMP:20260430T045046Z
DESCRIPTION:
DTSTART:20241206T151500Z
DTEND:20241206T164500Z
LOCATION:E9.1 (CISPA Building C0)\, Lecture Hall 0.05
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:32333233-6230-4362-b064-353533653830
DTSTAMP:20260430T045046Z
DESCRIPTION:
DTSTART:20241213T151500Z
DTEND:20241213T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:63633035-6264-4138-b662-306334626137
DTSTAMP:20260430T045046Z
DESCRIPTION:
DTSTART:20241220T151500Z
DTEND:20241220T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:66656636-3833-4135-b434-346230643532
DTSTAMP:20260430T045046Z
DESCRIPTION:
DTSTART:20250110T151500Z
DTEND:20250110T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:64383637-6463-4062-a130-333339336139
DTSTAMP:20260430T045046Z
DESCRIPTION:
DTSTART:20250117T151500Z
DTEND:20250117T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:66313731-3366-4464-b265-623363333139
DTSTAMP:20260430T045046Z
DESCRIPTION:
DTSTART:20250131T151500Z
DTEND:20250131T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:32393537-3465-4434-b664-336435653063
DTSTAMP:20260430T045046Z
DESCRIPTION:
DTSTART:20250207T151500Z
DTEND:20250207T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
END:VCALENDAR