BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:34396232-6635-4134-b933-643539386232
X-WR-CALNAME:From Program Verification to Synthesis Calendar
X-WR-CALDESC:Events of the lecture From Program Verification to Synthesis
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:64323263-3131-4635-b465-343166373730
DTSTAMP:20261106T192513Z
DESCRIPTION:
DTSTART:20220601T081500Z
DTEND:20220601T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Practcice Talks 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:33383738-3639-4165-b235-313230336663
DTSTAMP:20261106T192513Z
DESCRIPTION:
DTSTART:20220608T081500Z
DTEND:20220608T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Practcice Talks 3 + 4
END:VEVENT
END:VCALENDAR