BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:34636137-6430-4831-b766-663635346661
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:61343762-3866-4064-a138-323030306131
DTSTAMP:20260923T024635Z
DESCRIPTION:
DTSTART:20170426T120000Z
DTEND:20170426T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62313638-3038-4164-a464-663762353533
DTSTAMP:20260923T024635Z
DESCRIPTION:
DTSTART:20170510T120000Z
DTEND:20170510T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39626266-3038-4364-b832-393036346666
DTSTAMP:20260923T024635Z
DESCRIPTION:
DTSTART:20170517T120000Z
DTEND:20170517T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63323031-6266-4134-b937-643861376537
DTSTAMP:20260923T024635Z
DESCRIPTION:
DTSTART:20170531T120000Z
DTEND:20170531T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31636132-6430-4564-a164-623162393930
DTSTAMP:20260923T024635Z
DESCRIPTION:
DTSTART:20170621T120000Z
DTEND:20170621T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63306665-3930-4136-b235-613262633039
DTSTAMP:20260923T024635Z
DESCRIPTION:
DTSTART:20170628T120000Z
DTEND:20170628T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38373661-3963-4163-a134-393239636238
DTSTAMP:20260923T024635Z
DESCRIPTION:
DTSTART:20170705T120000Z
DTEND:20170705T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31353938-3362-4234-b861-323461323933
DTSTAMP:20260923T024635Z
DESCRIPTION:
DTSTART:20170712T120000Z
DTEND:20170712T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35633039-6361-4538-b235-323363373630
DTSTAMP:20260923T024635Z
DESCRIPTION:
DTSTART:20170719T120000Z
DTEND:20170719T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35313165-3961-4165-a563-663737656366
DTSTAMP:20260923T024635Z
DESCRIPTION:
DTSTART:20170726T120000Z
DTEND:20170726T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
END:VCALENDAR