BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:38333939-6563-4764-a534-363830666530
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:33636634-3734-4962-a339-366263613162
DTSTAMP:20260617T140756Z
DESCRIPTION:
DTSTART:20250410T160100Z
DTEND:20250410T160100Z
SUMMARY:Qmc: Tutorial Sheet 1 (QMC 1+2)
END:VEVENT
BEGIN:VEVENT
UID:62326166-3332-4632-a261-363837623233
DTSTAMP:20260617T140756Z
DESCRIPTION:
DTSTART:20250417T160100Z
DTEND:20250417T160100Z
SUMMARY:Qmc: Theory Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:65313937-6235-4664-b036-336439383163
DTSTAMP:20260617T140756Z
DESCRIPTION:
DTSTART:20250424T160000Z
DTEND:20250424T160000Z
SUMMARY:Qmc: Tutorial Sheet 2 (QMC 3+4+5)
END:VEVENT
BEGIN:VEVENT
UID:61663564-3832-4234-a135-376137623039
DTSTAMP:20260617T140756Z
DESCRIPTION:
DTSTART:20250424T160100Z
DTEND:20250424T160100Z
SUMMARY:Qmc: Theory Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:37653836-3832-4232-a662-363063333665
DTSTAMP:20260617T140756Z
DESCRIPTION:
DTSTART:20250508T160000Z
DTEND:20250508T160000Z
SUMMARY:Qmc: Tutorial Sheet 3 (QMC 6)
END:VEVENT
BEGIN:VEVENT
UID:37393566-3135-4965-a537-303337363664
DTSTAMP:20260617T140756Z
DESCRIPTION:
DTSTART:20250508T160100Z
DTEND:20250508T160100Z
SUMMARY:Qmc: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:64343966-3337-4637-b364-333030343731
DTSTAMP:20260617T140756Z
DESCRIPTION:
DTSTART:20250515T160000Z
DTEND:20250515T160000Z
SUMMARY:Qmc: Tutorial Sheet 4 (QMC 7)
END:VEVENT
BEGIN:VEVENT
UID:61363666-3338-4537-a538-393432313032
DTSTAMP:20260617T140756Z
DESCRIPTION:
DTSTART:20250515T160100Z
DTEND:20250515T160100Z
SUMMARY:Qmc: Theory Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:61393930-3136-4638-b635-383633653766
DTSTAMP:20260617T140756Z
DESCRIPTION:
DTSTART:20250522T160000Z
DTEND:20250522T160000Z
SUMMARY:Qmc: Tutorial Sheet 5 (QMC 8)
END:VEVENT
BEGIN:VEVENT
UID:63646235-3661-4134-b231-636361363061
DTSTAMP:20260617T140756Z
DESCRIPTION:
DTSTART:20250522T160100Z
DTEND:20250522T160100Z
SUMMARY:Qmc:  Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:31653234-3162-4230-a565-386430313739
DTSTAMP:20260617T140756Z
DESCRIPTION:
DTSTART:20250605T160000Z
DTEND:20250605T160000Z
SUMMARY:Qmc: Tutorial Sheet 6 (QMC 9)
END:VEVENT
BEGIN:VEVENT
UID:65666439-6133-4363-a464-323963373464
DTSTAMP:20260617T140756Z
DESCRIPTION:
DTSTART:20250605T160100Z
DTEND:20250605T160100Z
SUMMARY:Qmc:  Theory Assignment 4
END:VEVENT
BEGIN:VEVENT
UID:33313939-3763-4164-b134-306132393632
DTSTAMP:20260617T140756Z
DESCRIPTION:
DTSTART:20250612T160000Z
DTEND:20250612T160000Z
SUMMARY:Qmc: Tutorial Sheet 7 (QMC 10)
END:VEVENT
BEGIN:VEVENT
UID:39633736-6663-4462-a331-356233386238
DTSTAMP:20260617T140756Z
DESCRIPTION:
DTSTART:20250612T160100Z
DTEND:20250612T160100Z
SUMMARY:Qmc: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:31356536-3666-4139-a135-633065383762
DTSTAMP:20260617T140756Z
DESCRIPTION:
DTSTART:20250626T200000Z
DTEND:20250626T200000Z
SUMMARY:Qmc: Tutorial Sheet 8 (QMC 11)
END:VEVENT
BEGIN:VEVENT
UID:31373230-3037-4234-b763-346466623333
DTSTAMP:20260617T140756Z
DESCRIPTION:
DTSTART:20250626T200100Z
DTEND:20250626T200100Z
SUMMARY:Qmc: Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:63613061-6362-4863-b664-393963623231
DTSTAMP:20260617T140756Z
DESCRIPTION:
DTSTART:20250703T160000Z
DTEND:20250703T160000Z
SUMMARY:Qmc: Tutorial Sheet 9 (QMC 12)
END:VEVENT
BEGIN:VEVENT
UID:35616161-3139-4361-b866-656439653339
DTSTAMP:20260617T140756Z
DESCRIPTION:
DTSTART:20250710T160000Z
DTEND:20250710T160000Z
SUMMARY:Qmc: Tutorial Sheet 10 (QMC 13)
END:VEVENT
END:VCALENDAR