BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:33333433-6631-4831-b332-643164346631
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:35363738-3932-4539-b239-663963663836
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170419T120000Z
DTEND:20170419T140000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 1
END:VEVENT
BEGIN:VEVENT
UID:37326134-3738-4639-b138-333732663265
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170424T060000Z
DTEND:20170424T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 2
END:VEVENT
BEGIN:VEVENT
UID:35353530-3263-4339-a532-643462386331
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170426T120000Z
DTEND:20170426T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31636366-3963-4537-b065-653036666435
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170508T060000Z
DTEND:20170508T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 3
END:VEVENT
BEGIN:VEVENT
UID:61373364-3331-4565-a535-636637303164
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170510T120000Z
DTEND:20170510T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61346434-3964-4361-b637-666562613238
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170515T060000Z
DTEND:20170515T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 4
END:VEVENT
BEGIN:VEVENT
UID:66383131-6664-4464-a335-363833313730
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170517T120000Z
DTEND:20170517T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35343162-6232-4838-b030-656338636637
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170522T060000Z
DTEND:20170522T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 5
END:VEVENT
BEGIN:VEVENT
UID:66366234-3861-4565-b932-333735353735
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART;VALUE=DATE:20170524
DTEND;VALUE=DATE:20170525
SUMMARY:Qmc17: No Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65383663-6535-4235-b161-306264356132
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170529T060000Z
DTEND:20170529T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 6
END:VEVENT
BEGIN:VEVENT
UID:38373733-3637-4233-b766-386236303666
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170531T120000Z
DTEND:20170531T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39333466-6162-4663-b463-346530663232
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170612T060000Z
DTEND:20170612T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 7
END:VEVENT
BEGIN:VEVENT
UID:34646639-3331-4430-a438-393133306136
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170616T215900Z
DTEND:20170616T215900Z
SUMMARY:Qmc17: Deadline: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:32663735-3263-4632-a465-343435623239
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170619T060000Z
DTEND:20170619T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 8
END:VEVENT
BEGIN:VEVENT
UID:33363731-6663-4434-b339-616631623733
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170621T120000Z
DTEND:20170621T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36373163-3831-4539-b164-323631336538
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170626T060000Z
DTEND:20170626T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 9
END:VEVENT
BEGIN:VEVENT
UID:61616434-3866-4265-b563-326535623436
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170626T215900Z
DTEND:20170626T215900Z
SUMMARY:Qmc17: Deadline: Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:36323561-3232-4438-b534-373530343066
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170628T120000Z
DTEND:20170628T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34666637-3238-4730-b463-663332616665
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170703T060000Z
DTEND:20170703T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 10
END:VEVENT
BEGIN:VEVENT
UID:34653265-3731-4563-a336-343432313137
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170705T120000Z
DTEND:20170705T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66663330-3130-4435-a261-363737353033
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170710T060000Z
DTEND:20170710T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 11
END:VEVENT
BEGIN:VEVENT
UID:39313336-3266-4162-b732-366533646539
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170712T120000Z
DTEND:20170712T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39316232-3030-4537-b065-336531633539
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170717T060000Z
DTEND:20170717T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 12
END:VEVENT
BEGIN:VEVENT
UID:31303963-6136-4832-b433-656530373936
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170719T120000Z
DTEND:20170719T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38336330-3866-4732-b161-386630303230
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170724T060000Z
DTEND:20170724T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 13
END:VEVENT
BEGIN:VEVENT
UID:37386264-3837-4134-a561-313134383864
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170724T215900Z
DTEND:20170724T215900Z
SUMMARY:Qmc17: Deadline: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:62373163-6330-4334-b436-643332663230
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170726T120000Z
DTEND:20170726T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64393435-3462-4664-a332-376635353736
DTSTAMP:20260717T172251Z
DESCRIPTION:
DTSTART:20170804T120000Z
DTEND:20170804T140000Z
SUMMARY:Qmc17: Final Exam
END:VEVENT
END:VCALENDAR