BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:63366463-3265-4230-a439-636566633932
X-WR-CALNAME:Quantitative Model Checking Calendar
X-WR-CALDESC:Events of the lecture Quantitative Model Checking
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:64356638-3363-4432-a431-373163353331
DTSTAMP:20260516T215850Z
DESCRIPTION:
DTSTART;VALUE=DATE:20170524
DTEND;VALUE=DATE:20170525
SUMMARY:Qmc17: No Tutorial
END:VEVENT
END:VCALENDAR
