BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:34333262-6666-4639-a130-613632313534
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:39376538-6665-4234-b362-666364613331
DTSTAMP:20260728T063459Z
DESCRIPTION:
DTSTART:20250417T100100Z
DTEND:20250417T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 1+2
END:VEVENT
BEGIN:VEVENT
UID:32636162-6263-4362-b366-353237303566
DTSTAMP:20260728T063459Z
DESCRIPTION:
DTSTART:20250508T100100Z
DTEND:20250508T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 3+4+5
END:VEVENT
BEGIN:VEVENT
UID:61346666-3431-4561-b366-613663663131
DTSTAMP:20260728T063459Z
DESCRIPTION:
DTSTART:20250515T100100Z
DTEND:20250515T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 6
END:VEVENT
BEGIN:VEVENT
UID:39316332-6535-4363-b434-666336393962
DTSTAMP:20260728T063459Z
DESCRIPTION:
DTSTART:20250522T100100Z
DTEND:20250522T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 7
END:VEVENT
BEGIN:VEVENT
UID:63316362-3262-4263-a132-303065373562
DTSTAMP:20260728T063459Z
DESCRIPTION:
DTSTART:20250605T100100Z
DTEND:20250605T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  Tutorial QMC 8
END:VEVENT
BEGIN:VEVENT
UID:34623830-3432-4630-b961-383265306339
DTSTAMP:20260728T063459Z
DESCRIPTION:
DTSTART:20250612T100100Z
DTEND:20250612T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 9
END:VEVENT
BEGIN:VEVENT
UID:64306133-6530-4337-a435-346561346365
DTSTAMP:20260728T063459Z
DESCRIPTION:
DTSTART:20250626T122500Z
DTEND:20250626T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 10
END:VEVENT
BEGIN:VEVENT
UID:61633436-3237-4132-a331-343161333265
DTSTAMP:20260728T063459Z
DESCRIPTION:
DTSTART:20250703T100100Z
DTEND:20250703T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 11
END:VEVENT
BEGIN:VEVENT
UID:35343365-3362-4361-b136-316637656562
DTSTAMP:20260728T063459Z
DESCRIPTION:
DTSTART:20250710T100100Z
DTEND:20250710T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 12
END:VEVENT
BEGIN:VEVENT
UID:64656564-3034-4264-b936-623931373233
DTSTAMP:20260728T063459Z
DESCRIPTION:
DTSTART:20250717T100100Z
DTEND:20250717T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 13
END:VEVENT
END:VCALENDAR