BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:65613136-3861-4561-a438-303431623931
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:63633966-3931-4365-b064-636336613635
DTSTAMP:20260415T013226Z
DESCRIPTION:
DTSTART:20250410T160100Z
DTEND:20250410T160100Z
SUMMARY:Qmc: Tutorial Sheet 1 (QMC 1+2)
END:VEVENT
BEGIN:VEVENT
UID:37306234-6461-4463-a464-343435346361
DTSTAMP:20260415T013226Z
DESCRIPTION:
DTSTART:20250417T160100Z
DTEND:20250417T160100Z
SUMMARY:Qmc: Theory Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:63623336-3965-4566-a333-303362363564
DTSTAMP:20260415T013226Z
DESCRIPTION:
DTSTART:20250424T160000Z
DTEND:20250424T160000Z
SUMMARY:Qmc: Tutorial Sheet 2 (QMC 3+4+5)
END:VEVENT
BEGIN:VEVENT
UID:31623762-6132-4461-b362-373865326633
DTSTAMP:20260415T013226Z
DESCRIPTION:
DTSTART:20250424T160100Z
DTEND:20250424T160100Z
SUMMARY:Qmc: Theory Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:64323835-3533-4564-b935-383133313139
DTSTAMP:20260415T013226Z
DESCRIPTION:
DTSTART:20250508T160000Z
DTEND:20250508T160000Z
SUMMARY:Qmc: Tutorial Sheet 3 (QMC 6)
END:VEVENT
BEGIN:VEVENT
UID:35326438-3838-4335-a631-656564313732
DTSTAMP:20260415T013226Z
DESCRIPTION:
DTSTART:20250508T160100Z
DTEND:20250508T160100Z
SUMMARY:Qmc: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:38396339-3339-4831-b137-313433376462
DTSTAMP:20260415T013226Z
DESCRIPTION:
DTSTART:20250515T160000Z
DTEND:20250515T160000Z
SUMMARY:Qmc: Tutorial Sheet 4 (QMC 7)
END:VEVENT
BEGIN:VEVENT
UID:33643634-6662-4432-b534-633363666662
DTSTAMP:20260415T013226Z
DESCRIPTION:
DTSTART:20250515T160100Z
DTEND:20250515T160100Z
SUMMARY:Qmc: Theory Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:33373335-3838-4231-b238-323930333038
DTSTAMP:20260415T013226Z
DESCRIPTION:
DTSTART:20250522T160000Z
DTEND:20250522T160000Z
SUMMARY:Qmc: Tutorial Sheet 5 (QMC 8)
END:VEVENT
BEGIN:VEVENT
UID:36303463-3732-4762-b137-663434336636
DTSTAMP:20260415T013226Z
DESCRIPTION:
DTSTART:20250522T160100Z
DTEND:20250522T160100Z
SUMMARY:Qmc:  Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:64363065-6332-4333-a462-666238643734
DTSTAMP:20260415T013226Z
DESCRIPTION:
DTSTART:20250605T160000Z
DTEND:20250605T160000Z
SUMMARY:Qmc: Tutorial Sheet 6 (QMC 9)
END:VEVENT
BEGIN:VEVENT
UID:64613665-3033-4466-b038-636533333932
DTSTAMP:20260415T013226Z
DESCRIPTION:
DTSTART:20250605T160100Z
DTEND:20250605T160100Z
SUMMARY:Qmc:  Theory Assignment 4
END:VEVENT
BEGIN:VEVENT
UID:36373438-3230-4262-b865-613461393735
DTSTAMP:20260415T013226Z
DESCRIPTION:
DTSTART:20250612T160000Z
DTEND:20250612T160000Z
SUMMARY:Qmc: Tutorial Sheet 7 (QMC 10)
END:VEVENT
BEGIN:VEVENT
UID:62313361-6330-4338-b965-346630383338
DTSTAMP:20260415T013226Z
DESCRIPTION:
DTSTART:20250612T160100Z
DTEND:20250612T160100Z
SUMMARY:Qmc: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:32633639-6433-4636-a433-353432636130
DTSTAMP:20260415T013226Z
DESCRIPTION:
DTSTART:20250626T200000Z
DTEND:20250626T200000Z
SUMMARY:Qmc: Tutorial Sheet 8 (QMC 11)
END:VEVENT
BEGIN:VEVENT
UID:66633135-6137-4838-b138-663064353966
DTSTAMP:20260415T013226Z
DESCRIPTION:
DTSTART:20250626T200100Z
DTEND:20250626T200100Z
SUMMARY:Qmc: Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:32626139-3563-4637-b636-376639353863
DTSTAMP:20260415T013226Z
DESCRIPTION:
DTSTART:20250703T160000Z
DTEND:20250703T160000Z
SUMMARY:Qmc: Tutorial Sheet 9 (QMC 12)
END:VEVENT
BEGIN:VEVENT
UID:38346262-3236-4565-a136-653337353961
DTSTAMP:20260415T013226Z
DESCRIPTION:
DTSTART:20250710T160000Z
DTEND:20250710T160000Z
SUMMARY:Qmc: Tutorial Sheet 10 (QMC 13)
END:VEVENT
END:VCALENDAR