BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:37313966-6163-4036-b438-386236643739
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:32386633-3832-4666-b233-663631663238
DTSTAMP:20260816T005659Z
DESCRIPTION:
DTSTART;VALUE=DATE:20241125
DTEND;VALUE=DATE:20241126
SUMMARY:Decproc: Deadline for registration in LSF
END:VEVENT
BEGIN:VEVENT
UID:34663230-6534-4232-b537-343139663839
DTSTAMP:20260816T005659Z
DESCRIPTION:
DTSTART:20250314T225900Z
DTEND:20250314T225900Z
SUMMARY:Decproc: Deadine for submission of draft summary for feedback
END:VEVENT
BEGIN:VEVENT
UID:31366366-3634-4263-b230-356334386461
DTSTAMP:20260816T005659Z
DESCRIPTION:
DTSTART:20250404T215900Z
DTEND:20250404T215900Z
SUMMARY:Decproc: Deadline for submission of summary
END:VEVENT
END:VCALENDAR