BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:63383131-3039-4936-a464-386361386566
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:39616230-3064-4562-a166-663538663636
DTSTAMP:20260905T074805Z
DESCRIPTION:
DTSTART;VALUE=DATE:20241125
DTEND;VALUE=DATE:20241126
SUMMARY:Deadline for registration in LSF
END:VEVENT
BEGIN:VEVENT
UID:37323638-3965-4131-b833-393265343463
DTSTAMP:20260905T074805Z
DESCRIPTION:
DTSTART:20250314T225900Z
DTEND:20250314T225900Z
SUMMARY:Deadine for submission of draft summary for feedback
END:VEVENT
BEGIN:VEVENT
UID:63613564-6332-4431-b932-323066626536
DTSTAMP:20260905T074805Z
DESCRIPTION:
DTSTART:20250404T215900Z
DTEND:20250404T215900Z
SUMMARY:Deadline for submission of summary
END:VEVENT
END:VCALENDAR