BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:38306430-6130-4834-b165-353166613238
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:31663237-6138-4165-a563-613234306537
DTSTAMP:20260521T091148Z
DESCRIPTION:
DTSTART;VALUE=DATE:20241125
DTEND;VALUE=DATE:20241126
SUMMARY:Deadline for registration in LSF
END:VEVENT
BEGIN:VEVENT
UID:34623837-3530-4635-a239-653163373232
DTSTAMP:20260521T091148Z
DESCRIPTION:
DTSTART:20250314T225900Z
DTEND:20250314T225900Z
SUMMARY:Deadine for submission of draft summary for feedback
END:VEVENT
BEGIN:VEVENT
UID:66643365-3039-4735-a363-633034353235
DTSTAMP:20260521T091148Z
DESCRIPTION:
DTSTART:20250404T215900Z
DTEND:20250404T215900Z
SUMMARY:Deadline for submission of summary
END:VEVENT
END:VCALENDAR