BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:39343864-3131-4336-a230-323131383562
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:64383933-6534-4731-b166-393661356132
DTSTAMP:20260707T222351Z
DESCRIPTION:
DTSTART:20250410T100100Z
DTEND:20250410T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  QMC 0+1
END:VEVENT
BEGIN:VEVENT
UID:65646333-6637-4534-a466-336465396638
DTSTAMP:20260707T222351Z
DESCRIPTION:
DTSTART:20250410T122900Z
DTEND:20250410T140000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  QMC 2
END:VEVENT
BEGIN:VEVENT
UID:32306462-3066-4133-b862-376564346566
DTSTAMP:20260707T222351Z
DESCRIPTION:
DTSTART:20250417T122500Z
DTEND:20250417T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 3
END:VEVENT
BEGIN:VEVENT
UID:65373562-3934-4336-a663-646638646137
DTSTAMP:20260707T222351Z
DESCRIPTION:
DTSTART:20250424T100100Z
DTEND:20250424T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 4
END:VEVENT
BEGIN:VEVENT
UID:32613437-3662-4362-b532-356135373566
DTSTAMP:20260707T222351Z
DESCRIPTION:
DTSTART:20250424T122500Z
DTEND:20250424T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 5
END:VEVENT
BEGIN:VEVENT
UID:62626263-3163-4636-a265-373131356539
DTSTAMP:20260707T222351Z
DESCRIPTION:
DTSTART:20250508T122500Z
DTEND:20250508T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 6
END:VEVENT
BEGIN:VEVENT
UID:38653461-6166-4261-a238-383661663136
DTSTAMP:20260707T222351Z
DESCRIPTION:
DTSTART:20250515T122500Z
DTEND:20250515T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 7
END:VEVENT
BEGIN:VEVENT
UID:31626463-3436-4239-a431-636232353335
DTSTAMP:20260707T222351Z
DESCRIPTION:
DTSTART:20250522T122500Z
DTEND:20250522T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 8
END:VEVENT
BEGIN:VEVENT
UID:63666239-3163-4366-b433-653261326137
DTSTAMP:20260707T222351Z
DESCRIPTION:
DTSTART:20250605T122500Z
DTEND:20250605T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  QMC 9
END:VEVENT
BEGIN:VEVENT
UID:62393636-3736-4138-b364-373638316535
DTSTAMP:20260707T222351Z
DESCRIPTION:
DTSTART:20250612T122500Z
DTEND:20250612T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 10
END:VEVENT
BEGIN:VEVENT
UID:63323164-3161-4535-a330-393134356163
DTSTAMP:20260707T222351Z
DESCRIPTION:
DTSTART:20250626T100100Z
DTEND:20250626T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 11
END:VEVENT
BEGIN:VEVENT
UID:32313230-3765-4635-b364-666365653137
DTSTAMP:20260707T222351Z
DESCRIPTION:
DTSTART:20250703T122500Z
DTEND:20250703T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 12
END:VEVENT
BEGIN:VEVENT
UID:32326264-6633-4630-a166-613465613031
DTSTAMP:20260707T222351Z
DESCRIPTION:
DTSTART:20250710T122500Z
DTEND:20250710T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 13
END:VEVENT
BEGIN:VEVENT
UID:63343532-3036-4633-a464-336332393161
DTSTAMP:20260707T222351Z
DESCRIPTION:
DTSTART:20250717T122500Z
DTEND:20250717T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC Wrapup
END:VEVENT
END:VCALENDAR