BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:32346431-3162-4337-b736-356433643662
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:31613163-3737-4634-b738-313062323163
DTSTAMP:20260925T203652Z
DESCRIPTION:
DTSTART:20241108T151500Z
DTEND:20241108T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:64613866-3636-4230-a137-656565343139
DTSTAMP:20260925T203652Z
DESCRIPTION:
DTSTART:20241115T151500Z
DTEND:20241115T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:37666331-3166-4437-b161-323833323933
DTSTAMP:20260925T203652Z
DESCRIPTION:
DTSTART:20241122T151500Z
DTEND:20241122T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:39333734-3035-4736-b531-386430616536
DTSTAMP:20260925T203652Z
DESCRIPTION:
DTSTART:20241129T151500Z
DTEND:20241129T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:30313031-6163-4230-b063-656132356137
DTSTAMP:20260925T203652Z
DESCRIPTION:
DTSTART:20241206T151500Z
DTEND:20241206T164500Z
LOCATION:E9.1 (CISPA Building C0)\, Lecture Hall 0.05
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:32386466-6566-4239-b637-386664363438
DTSTAMP:20260925T203652Z
DESCRIPTION:
DTSTART:20241213T151500Z
DTEND:20241213T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:33366638-3832-4835-b631-383935396437
DTSTAMP:20260925T203652Z
DESCRIPTION:
DTSTART:20241220T151500Z
DTEND:20241220T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:65343536-6361-4731-b363-653830323734
DTSTAMP:20260925T203652Z
DESCRIPTION:
DTSTART:20250110T151500Z
DTEND:20250110T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:38326665-3034-4834-b439-343561343532
DTSTAMP:20260925T203652Z
DESCRIPTION:
DTSTART:20250117T151500Z
DTEND:20250117T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:32383432-6236-4332-b837-303366303731
DTSTAMP:20260925T203652Z
DESCRIPTION:
DTSTART:20250131T151500Z
DTEND:20250131T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:37373635-3039-4434-b630-616332333537
DTSTAMP:20260925T203652Z
DESCRIPTION:
DTSTART:20250207T151500Z
DTEND:20250207T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
END:VCALENDAR