BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:63326238-6566-4565-a161-356337373532
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:34653438-3033-4362-b839-393230643633
DTSTAMP:20261112T212454Z
DESCRIPTION:
DTSTART:20170426T120000Z
DTEND:20170426T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64326566-3331-4239-b661-323531646564
DTSTAMP:20261112T212454Z
DESCRIPTION:
DTSTART:20170510T120000Z
DTEND:20170510T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38366565-6566-4533-b735-633637303334
DTSTAMP:20261112T212454Z
DESCRIPTION:
DTSTART:20170517T120000Z
DTEND:20170517T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30626434-6637-4434-b736-633938386135
DTSTAMP:20261112T212454Z
DESCRIPTION:
DTSTART:20170531T120000Z
DTEND:20170531T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34363930-6138-4233-b264-356235646635
DTSTAMP:20261112T212454Z
DESCRIPTION:
DTSTART:20170621T120000Z
DTEND:20170621T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36663064-6235-4232-b762-393131616433
DTSTAMP:20261112T212454Z
DESCRIPTION:
DTSTART:20170628T120000Z
DTEND:20170628T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39336531-3431-4163-a166-373165323763
DTSTAMP:20261112T212454Z
DESCRIPTION:
DTSTART:20170705T120000Z
DTEND:20170705T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39386132-6563-4033-b530-376261383332
DTSTAMP:20261112T212454Z
DESCRIPTION:
DTSTART:20170712T120000Z
DTEND:20170712T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32313439-3434-4433-b839-653666633938
DTSTAMP:20261112T212454Z
DESCRIPTION:
DTSTART:20170719T120000Z
DTEND:20170719T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38336437-6437-4137-b463-323034653563
DTSTAMP:20261112T212454Z
DESCRIPTION:
DTSTART:20170726T120000Z
DTEND:20170726T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
END:VCALENDAR