BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:61333531-3564-4638-a134-383336376562
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:31633530-6138-4332-a430-366430313337
DTSTAMP:20260717T172225Z
DESCRIPTION:
DTSTART:20170426T120000Z
DTEND:20170426T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35303038-6135-4230-a238-386463353165
DTSTAMP:20260717T172225Z
DESCRIPTION:
DTSTART:20170510T120000Z
DTEND:20170510T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35653737-3933-4839-a564-326333353464
DTSTAMP:20260717T172225Z
DESCRIPTION:
DTSTART:20170517T120000Z
DTEND:20170517T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32356661-3463-4539-b265-643236373336
DTSTAMP:20260717T172225Z
DESCRIPTION:
DTSTART:20170531T120000Z
DTEND:20170531T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64383532-3134-4632-b865-316435323263
DTSTAMP:20260717T172225Z
DESCRIPTION:
DTSTART:20170621T120000Z
DTEND:20170621T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62343237-3639-4766-a363-636665613637
DTSTAMP:20260717T172225Z
DESCRIPTION:
DTSTART:20170628T120000Z
DTEND:20170628T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38633961-6139-4836-b736-376264666161
DTSTAMP:20260717T172225Z
DESCRIPTION:
DTSTART:20170705T120000Z
DTEND:20170705T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31376366-3830-4236-a131-303433363535
DTSTAMP:20260717T172225Z
DESCRIPTION:
DTSTART:20170712T120000Z
DTEND:20170712T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65333866-6661-4832-b238-666233383035
DTSTAMP:20260717T172225Z
DESCRIPTION:
DTSTART:20170719T120000Z
DTEND:20170719T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33343133-3238-4532-b730-363963346564
DTSTAMP:20260717T172225Z
DESCRIPTION:
DTSTART:20170726T120000Z
DTEND:20170726T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
END:VCALENDAR