BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:66363930-3637-4163-a132-343631353466
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:33633332-6363-4433-b237-373932633163
DTSTAMP:20260606T040755Z
DESCRIPTION:
DTSTART:20170426T120000Z
DTEND:20170426T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31656334-3566-4137-b361-376631613362
DTSTAMP:20260606T040755Z
DESCRIPTION:
DTSTART:20170510T120000Z
DTEND:20170510T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63323536-6333-4462-b430-386264393364
DTSTAMP:20260606T040755Z
DESCRIPTION:
DTSTART:20170517T120000Z
DTEND:20170517T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39636338-3465-4362-b933-653330323434
DTSTAMP:20260606T040755Z
DESCRIPTION:
DTSTART:20170531T120000Z
DTEND:20170531T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39633364-6233-4630-b137-366164393037
DTSTAMP:20260606T040755Z
DESCRIPTION:
DTSTART:20170621T120000Z
DTEND:20170621T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65656638-3035-4734-a137-663732313761
DTSTAMP:20260606T040755Z
DESCRIPTION:
DTSTART:20170628T120000Z
DTEND:20170628T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61343066-6562-4264-b838-663066333566
DTSTAMP:20260606T040755Z
DESCRIPTION:
DTSTART:20170705T120000Z
DTEND:20170705T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30653763-3631-4665-a439-666565356538
DTSTAMP:20260606T040755Z
DESCRIPTION:
DTSTART:20170712T120000Z
DTEND:20170712T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64393961-3664-4261-b736-343438643639
DTSTAMP:20260606T040755Z
DESCRIPTION:
DTSTART:20170719T120000Z
DTEND:20170719T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65356561-3933-4264-b164-336236393738
DTSTAMP:20260606T040755Z
DESCRIPTION:
DTSTART:20170726T120000Z
DTEND:20170726T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
END:VCALENDAR