BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:64616362-3936-4435-b761-373839366361
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:31373531-3332-4238-a435-613261636635
DTSTAMP:20260705T010031Z
DESCRIPTION:
DTSTART:20241108T151500Z
DTEND:20241108T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:34353137-3865-4961-b032-663637386361
DTSTAMP:20260705T010031Z
DESCRIPTION:
DTSTART:20241115T151500Z
DTEND:20241115T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:31663035-3063-4563-b962-393266353135
DTSTAMP:20260705T010031Z
DESCRIPTION:
DTSTART:20241122T151500Z
DTEND:20241122T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:36346461-6533-4561-a337-663730306233
DTSTAMP:20260705T010031Z
DESCRIPTION:
DTSTART;VALUE=DATE:20241125
DTEND;VALUE=DATE:20241126
SUMMARY:Decproc: Deadline for registration in LSF
END:VEVENT
BEGIN:VEVENT
UID:30633963-3330-4238-a465-386631313162
DTSTAMP:20260705T010031Z
DESCRIPTION:
DTSTART:20241129T151500Z
DTEND:20241129T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:39636637-3431-4138-a463-616439313934
DTSTAMP:20260705T010031Z
DESCRIPTION:
DTSTART:20241206T151500Z
DTEND:20241206T164500Z
LOCATION:E9.1 (CISPA Building C0)\, Lecture Hall 0.05
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:31663536-3430-4731-b936-333536636464
DTSTAMP:20260705T010031Z
DESCRIPTION:
DTSTART:20241213T151500Z
DTEND:20241213T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:38333437-3239-4662-a139-643161366561
DTSTAMP:20260705T010031Z
DESCRIPTION:
DTSTART:20241220T151500Z
DTEND:20241220T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:36316564-6136-4663-b661-363030303938
DTSTAMP:20260705T010031Z
DESCRIPTION:
DTSTART:20250110T151500Z
DTEND:20250110T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:38356338-6335-4230-b836-353265336230
DTSTAMP:20260705T010031Z
DESCRIPTION:
DTSTART:20250117T151500Z
DTEND:20250117T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:61393166-3262-4966-a139-356539613733
DTSTAMP:20260705T010031Z
DESCRIPTION:
DTSTART:20250131T151500Z
DTEND:20250131T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:33656439-3336-4739-b265-663761636564
DTSTAMP:20260705T010031Z
DESCRIPTION:
DTSTART:20250207T151500Z
DTEND:20250207T164500Z
LOCATION:E9.1 (CISPA Building C0)\, meeting room 0.07
SUMMARY:Decproc: Meeting
END:VEVENT
BEGIN:VEVENT
UID:37643235-3336-4634-b966-323866333934
DTSTAMP:20260705T010031Z
DESCRIPTION:
DTSTART:20250314T225900Z
DTEND:20250314T225900Z
SUMMARY:Decproc: Deadine for submission of draft summary for feedback
END:VEVENT
BEGIN:VEVENT
UID:39663666-3431-4735-b331-663939353330
DTSTAMP:20260705T010031Z
DESCRIPTION:
DTSTART:20250404T215900Z
DTEND:20250404T215900Z
SUMMARY:Decproc: Deadline for submission of summary
END:VEVENT
END:VCALENDAR