BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:66393532-3765-4265-b931-323338633364
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:62613565-3135-4961-a363-343032626135
DTSTAMP:20260906T114918Z
DESCRIPTION:
DTSTART:20250417T100100Z
DTEND:20250417T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 1+2
END:VEVENT
BEGIN:VEVENT
UID:64396634-6363-4563-b432-343762316161
DTSTAMP:20260906T114918Z
DESCRIPTION:
DTSTART:20250508T100100Z
DTEND:20250508T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 3+4+5
END:VEVENT
BEGIN:VEVENT
UID:65613661-3538-4265-a237-643533613532
DTSTAMP:20260906T114918Z
DESCRIPTION:
DTSTART:20250515T100100Z
DTEND:20250515T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 6
END:VEVENT
BEGIN:VEVENT
UID:61623432-3961-4835-b834-333836373163
DTSTAMP:20260906T114918Z
DESCRIPTION:
DTSTART:20250522T100100Z
DTEND:20250522T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 7
END:VEVENT
BEGIN:VEVENT
UID:65313534-6465-4563-a163-363737653961
DTSTAMP:20260906T114918Z
DESCRIPTION:
DTSTART:20250605T100100Z
DTEND:20250605T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  Tutorial QMC 8
END:VEVENT
BEGIN:VEVENT
UID:31323131-6466-4763-b932-633665346536
DTSTAMP:20260906T114918Z
DESCRIPTION:
DTSTART:20250612T100100Z
DTEND:20250612T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 9
END:VEVENT
BEGIN:VEVENT
UID:34663436-3039-4362-a630-343134303733
DTSTAMP:20260906T114918Z
DESCRIPTION:
DTSTART:20250626T122500Z
DTEND:20250626T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 10
END:VEVENT
BEGIN:VEVENT
UID:37316338-3632-4135-b830-313933343664
DTSTAMP:20260906T114918Z
DESCRIPTION:
DTSTART:20250703T100100Z
DTEND:20250703T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 11
END:VEVENT
BEGIN:VEVENT
UID:35656635-6666-4863-a535-636266346631
DTSTAMP:20260906T114918Z
DESCRIPTION:
DTSTART:20250710T100100Z
DTEND:20250710T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 12
END:VEVENT
BEGIN:VEVENT
UID:66623234-3536-4762-b761-666338306630
DTSTAMP:20260906T114918Z
DESCRIPTION:
DTSTART:20250717T100100Z
DTEND:20250717T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 13
END:VEVENT
END:VCALENDAR