BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:35303661-3138-4838-b866-376661626138
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:37313561-6139-4330-a434-663963356630
DTSTAMP:20260430T033353Z
DESCRIPTION:
DTSTART;VALUE=DATE:20241125
DTEND;VALUE=DATE:20241126
SUMMARY:Decproc: Deadline for registration in LSF
END:VEVENT
BEGIN:VEVENT
UID:32306663-3166-4465-b835-323063373135
DTSTAMP:20260430T033353Z
DESCRIPTION:
DTSTART:20250314T225900Z
DTEND:20250314T225900Z
SUMMARY:Decproc: Deadine for submission of draft summary for feedback
END:VEVENT
BEGIN:VEVENT
UID:34383231-6331-4565-b035-393663396166
DTSTAMP:20260430T033353Z
DESCRIPTION:
DTSTART:20250404T215900Z
DTEND:20250404T215900Z
SUMMARY:Decproc: Deadline for submission of summary
END:VEVENT
END:VCALENDAR