BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:33343165-3832-4766-b334-316165633065
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:34316639-3763-4137-b837-383837663232
DTSTAMP:20260905T074846Z
DESCRIPTION:
DTSTART:20241108T151500Z
DTEND:20241108T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:30333662-6461-4133-a637-656232626262
DTSTAMP:20260905T074846Z
DESCRIPTION:
DTSTART:20241115T151500Z
DTEND:20241115T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:30636239-3062-4638-a139-336561393832
DTSTAMP:20260905T074846Z
DESCRIPTION:
DTSTART:20241122T151500Z
DTEND:20241122T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:35353665-3561-4039-b636-643866653437
DTSTAMP:20260905T074846Z
DESCRIPTION:
DTSTART:20241129T151500Z
DTEND:20241129T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:38643465-6334-4239-b964-353662656161
DTSTAMP:20260905T074846Z
DESCRIPTION:
DTSTART:20241206T151500Z
DTEND:20241206T164500Z
LOCATION:E9.1 (CISPA Building C0)\, Lecture Hall 0.05
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:34383639-3861-4365-a635-396235653738
DTSTAMP:20260905T074846Z
DESCRIPTION:
DTSTART:20241213T151500Z
DTEND:20241213T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:38343162-3130-4362-a232-393332646266
DTSTAMP:20260905T074846Z
DESCRIPTION:
DTSTART:20241220T151500Z
DTEND:20241220T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:61343232-6436-4261-b865-333961333265
DTSTAMP:20260905T074846Z
DESCRIPTION:
DTSTART:20250110T151500Z
DTEND:20250110T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:64356565-3866-4030-b530-623863303538
DTSTAMP:20260905T074846Z
DESCRIPTION:
DTSTART:20250117T151500Z
DTEND:20250117T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:63373663-3032-4135-b537-633833386236
DTSTAMP:20260905T074846Z
DESCRIPTION:
DTSTART:20250131T151500Z
DTEND:20250131T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
BEGIN:VEVENT
UID:36626233-6130-4365-a363-333030653439
DTSTAMP:20260905T074846Z
DESCRIPTION:
DTSTART:20250207T151500Z
DTEND:20250207T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Meeting
END:VEVENT
END:VCALENDAR