BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:31313333-6466-4239-b063-623062633462
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:36353331-3736-4463-b364-343435653034
DTSTAMP:20260417T095525Z
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:39303530-3037-4162-b334-396431316162
DTSTAMP:20260417T095525Z
DESCRIPTION:
DTSTART:20220608T081500Z
DTEND:20220608T094500Z
LOCATION:Room 1.06 in E1 1 and online
SUMMARY:Pvs: Practcice Talks 3 + 4
END:VEVENT
END:VCALENDAR
