BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:36613835-3161-4065-b338-356566323365
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:31333536-6236-4038-a133-633538633932
DTSTAMP:20260705T033913Z
DESCRIPTION:
DTSTART;VALUE=DATE:20241125
DTEND;VALUE=DATE:20241126
SUMMARY:Deadline for registration in LSF
END:VEVENT
BEGIN:VEVENT
UID:30626262-3438-4037-a564-303536643232
DTSTAMP:20260705T033913Z
DESCRIPTION:
DTSTART:20250314T225900Z
DTEND:20250314T225900Z
SUMMARY:Deadine for submission of draft summary for feedback
END:VEVENT
BEGIN:VEVENT
UID:39316161-6138-4264-b761-313135393364
DTSTAMP:20260705T033913Z
DESCRIPTION:
DTSTART:20250404T215900Z
DTEND:20250404T215900Z
SUMMARY:Deadline for submission of summary
END:VEVENT
END:VCALENDAR