BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:39393561-3063-4166-a466-383731616633
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:65613336-3731-4165-a335-303930613331
DTSTAMP:20260617T150805Z
DESCRIPTION:
DTSTART:20250410T160100Z
DTEND:20250410T160100Z
SUMMARY:Qmc: Tutorial Sheet 1 (QMC 1+2)
END:VEVENT
BEGIN:VEVENT
UID:65656437-3865-4863-a631-656633653032
DTSTAMP:20260617T150805Z
DESCRIPTION:
DTSTART:20250417T160100Z
DTEND:20250417T160100Z
SUMMARY:Qmc: Theory Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:65313164-3132-4166-a230-306666363733
DTSTAMP:20260617T150805Z
DESCRIPTION:
DTSTART:20250424T160000Z
DTEND:20250424T160000Z
SUMMARY:Qmc: Tutorial Sheet 2 (QMC 3+4+5)
END:VEVENT
BEGIN:VEVENT
UID:35393333-3531-4537-a261-303464303932
DTSTAMP:20260617T150805Z
DESCRIPTION:
DTSTART:20250424T160100Z
DTEND:20250424T160100Z
SUMMARY:Qmc: Theory Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:61333234-3230-4266-b536-303130343834
DTSTAMP:20260617T150805Z
DESCRIPTION:
DTSTART:20250508T160000Z
DTEND:20250508T160000Z
SUMMARY:Qmc: Tutorial Sheet 3 (QMC 6)
END:VEVENT
BEGIN:VEVENT
UID:31303566-3332-4237-a531-303337386362
DTSTAMP:20260617T150805Z
DESCRIPTION:
DTSTART:20250508T160100Z
DTEND:20250508T160100Z
SUMMARY:Qmc: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:39313030-3234-4864-b434-656263663164
DTSTAMP:20260617T150805Z
DESCRIPTION:
DTSTART:20250515T160000Z
DTEND:20250515T160000Z
SUMMARY:Qmc: Tutorial Sheet 4 (QMC 7)
END:VEVENT
BEGIN:VEVENT
UID:63343566-3337-4463-a135-376237636336
DTSTAMP:20260617T150805Z
DESCRIPTION:
DTSTART:20250515T160100Z
DTEND:20250515T160100Z
SUMMARY:Qmc: Theory Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:61313365-3863-4536-a261-383036643262
DTSTAMP:20260617T150805Z
DESCRIPTION:
DTSTART:20250522T160000Z
DTEND:20250522T160000Z
SUMMARY:Qmc: Tutorial Sheet 5 (QMC 8)
END:VEVENT
BEGIN:VEVENT
UID:38386165-6466-4563-b466-656532353462
DTSTAMP:20260617T150805Z
DESCRIPTION:
DTSTART:20250522T160100Z
DTEND:20250522T160100Z
SUMMARY:Qmc:  Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:34333264-3631-4334-a132-616233646536
DTSTAMP:20260617T150805Z
DESCRIPTION:
DTSTART:20250605T160000Z
DTEND:20250605T160000Z
SUMMARY:Qmc: Tutorial Sheet 6 (QMC 9)
END:VEVENT
BEGIN:VEVENT
UID:33326636-3732-4935-b333-336130366239
DTSTAMP:20260617T150805Z
DESCRIPTION:
DTSTART:20250605T160100Z
DTEND:20250605T160100Z
SUMMARY:Qmc:  Theory Assignment 4
END:VEVENT
BEGIN:VEVENT
UID:64666364-3566-4430-b339-373331363439
DTSTAMP:20260617T150805Z
DESCRIPTION:
DTSTART:20250612T160000Z
DTEND:20250612T160000Z
SUMMARY:Qmc: Tutorial Sheet 7 (QMC 10)
END:VEVENT
BEGIN:VEVENT
UID:37383965-6239-4330-a133-323133323637
DTSTAMP:20260617T150805Z
DESCRIPTION:
DTSTART:20250612T160100Z
DTEND:20250612T160100Z
SUMMARY:Qmc: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:62376232-6365-4332-a532-613838636235
DTSTAMP:20260617T150805Z
DESCRIPTION:
DTSTART:20250626T200000Z
DTEND:20250626T200000Z
SUMMARY:Qmc: Tutorial Sheet 8 (QMC 11)
END:VEVENT
BEGIN:VEVENT
UID:35333762-3965-4637-a436-643262613663
DTSTAMP:20260617T150805Z
DESCRIPTION:
DTSTART:20250626T200100Z
DTEND:20250626T200100Z
SUMMARY:Qmc: Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:31646430-3030-4233-b264-363838626131
DTSTAMP:20260617T150805Z
DESCRIPTION:
DTSTART:20250703T160000Z
DTEND:20250703T160000Z
SUMMARY:Qmc: Tutorial Sheet 9 (QMC 12)
END:VEVENT
BEGIN:VEVENT
UID:39356461-6364-4533-b736-303332326437
DTSTAMP:20260617T150805Z
DESCRIPTION:
DTSTART:20250710T160000Z
DTEND:20250710T160000Z
SUMMARY:Qmc: Tutorial Sheet 10 (QMC 13)
END:VEVENT
END:VCALENDAR