BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:64303564-6233-4334-a664-393334393566
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:39633365-3461-4164-a261-326432353631
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250410T100100Z
DTEND:20250410T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  QMC 0+1
END:VEVENT
BEGIN:VEVENT
UID:61323338-3664-4536-b562-343166623135
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250410T122900Z
DTEND:20250410T140000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  QMC 2
END:VEVENT
BEGIN:VEVENT
UID:64313161-3235-4638-b938-376330666239
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250410T160100Z
DTEND:20250410T160100Z
SUMMARY:Qmc: Tutorial Sheet 1 (QMC 1+2)
END:VEVENT
BEGIN:VEVENT
UID:64353562-3534-4562-b863-663931303831
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250417T100100Z
DTEND:20250417T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 1+2
END:VEVENT
BEGIN:VEVENT
UID:32396264-6335-4564-a133-313961313332
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250417T122500Z
DTEND:20250417T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 3
END:VEVENT
BEGIN:VEVENT
UID:37313565-6263-4432-b061-633931316433
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250417T160100Z
DTEND:20250417T160100Z
SUMMARY:Qmc: Theory Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:39663565-3730-4833-b332-303366313239
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250424T100100Z
DTEND:20250424T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 4
END:VEVENT
BEGIN:VEVENT
UID:38303234-3438-4163-b663-326665383433
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250424T122500Z
DTEND:20250424T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 5
END:VEVENT
BEGIN:VEVENT
UID:31636266-3131-4864-a636-343265396333
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250424T160000Z
DTEND:20250424T160000Z
SUMMARY:Qmc: Tutorial Sheet 2 (QMC 3+4+5)
END:VEVENT
BEGIN:VEVENT
UID:33303339-3037-4337-b033-666163636563
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250424T160100Z
DTEND:20250424T160100Z
SUMMARY:Qmc: Theory Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:64663265-6361-4938-a665-313131663034
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250429T120000Z
DTEND:20250429T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 1
END:VEVENT
BEGIN:VEVENT
UID:66333433-3430-4862-a464-303765363738
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250502T120000Z
DTEND:20250502T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 2
END:VEVENT
BEGIN:VEVENT
UID:62316531-3863-4532-a135-363738396431
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250508T095900Z
DTEND:20250508T095900Z
SUMMARY:Qmc: Deadline Theory Assignment 1 + 2
END:VEVENT
BEGIN:VEVENT
UID:35383865-6265-4830-b137-363532666330
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250508T100100Z
DTEND:20250508T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 3+4+5
END:VEVENT
BEGIN:VEVENT
UID:30613164-6266-4533-a164-656437636330
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250508T122500Z
DTEND:20250508T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 6
END:VEVENT
BEGIN:VEVENT
UID:31333764-3962-4463-a162-653336663738
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250508T160000Z
DTEND:20250508T160000Z
SUMMARY:Qmc: Tutorial Sheet 3 (QMC 6)
END:VEVENT
BEGIN:VEVENT
UID:65663733-3633-4935-a462-633630363037
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250508T160100Z
DTEND:20250508T160100Z
SUMMARY:Qmc: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:39343436-3537-4361-b461-316435336531
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250515T100100Z
DTEND:20250515T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 6
END:VEVENT
BEGIN:VEVENT
UID:62323234-3738-4236-a165-636334343461
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250515T122500Z
DTEND:20250515T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 7
END:VEVENT
BEGIN:VEVENT
UID:37306238-3438-4638-b931-343361306166
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250515T160000Z
DTEND:20250515T160000Z
SUMMARY:Qmc: Tutorial Sheet 4 (QMC 7)
END:VEVENT
BEGIN:VEVENT
UID:34363365-6166-4333-b664-666664623430
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250515T160100Z
DTEND:20250515T160100Z
SUMMARY:Qmc: Theory Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:33353438-6466-4232-a562-346661663465
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250522T095900Z
DTEND:20250522T095900Z
SUMMARY:Qmc: Deadline Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:35393062-6261-4361-b539-383932636136
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250522T100100Z
DTEND:20250522T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 7
END:VEVENT
BEGIN:VEVENT
UID:32656235-3031-4966-a637-373261333333
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250522T122500Z
DTEND:20250522T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 8
END:VEVENT
BEGIN:VEVENT
UID:64313730-6333-4430-a266-386438653265
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250522T160000Z
DTEND:20250522T160000Z
SUMMARY:Qmc: Tutorial Sheet 5 (QMC 8)
END:VEVENT
BEGIN:VEVENT
UID:31386135-6339-4566-b536-613935313163
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250522T160100Z
DTEND:20250522T160100Z
SUMMARY:Qmc:  Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:38303530-3566-4433-a162-316461396162
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250526T120000Z
DTEND:20250526T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 3
END:VEVENT
BEGIN:VEVENT
UID:39313336-3564-4263-b731-363331623932
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250528T120000Z
DTEND:20250528T140000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 4
END:VEVENT
BEGIN:VEVENT
UID:65383830-6632-4939-b963-303564316330
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250605T095900Z
DTEND:20250605T095900Z
SUMMARY:Qmc: Deadline Theory Assignment 3 + Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:64646464-3939-4632-b936-653333616665
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250605T100100Z
DTEND:20250605T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  Tutorial QMC 8
END:VEVENT
BEGIN:VEVENT
UID:32313834-6331-4263-b661-363633356632
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250605T122500Z
DTEND:20250605T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc:  QMC 9
END:VEVENT
BEGIN:VEVENT
UID:63636665-6234-4662-b561-336337313937
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250605T160000Z
DTEND:20250605T160000Z
SUMMARY:Qmc: Tutorial Sheet 6 (QMC 9)
END:VEVENT
BEGIN:VEVENT
UID:39303464-3666-4664-b738-633033333039
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250605T160100Z
DTEND:20250605T160100Z
SUMMARY:Qmc:  Theory Assignment 4
END:VEVENT
BEGIN:VEVENT
UID:36623736-6361-4261-b332-376665336366
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250612T100100Z
DTEND:20250612T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 9
END:VEVENT
BEGIN:VEVENT
UID:66633962-6434-4637-b163-366462643935
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250612T122500Z
DTEND:20250612T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 10
END:VEVENT
BEGIN:VEVENT
UID:66616261-3163-4362-a539-616133343233
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250612T160000Z
DTEND:20250612T160000Z
SUMMARY:Qmc: Tutorial Sheet 7 (QMC 10)
END:VEVENT
BEGIN:VEVENT
UID:39376439-3961-4666-a265-303831346533
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250612T160100Z
DTEND:20250612T160100Z
SUMMARY:Qmc: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:30616161-3039-4838-a130-356537613337
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250616T080000Z
DTEND:20250616T100000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 5
END:VEVENT
BEGIN:VEVENT
UID:66623263-3964-4233-a538-616237366266
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250618T080000Z
DTEND:20250618T100000Z
LOCATION:Room 533 of E1 3
SUMMARY:Qmc: Office Hour 6
END:VEVENT
BEGIN:VEVENT
UID:64623564-3662-4264-b834-306537386338
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250626T095900Z
DTEND:20250626T095900Z
SUMMARY:Qmc: Deadline Theory Assignment 4 + Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:62636634-6664-4334-a331-303163663234
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250626T100100Z
DTEND:20250626T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 11
END:VEVENT
BEGIN:VEVENT
UID:32306234-3333-4336-b935-666531396466
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250626T122500Z
DTEND:20250626T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 10
END:VEVENT
BEGIN:VEVENT
UID:63633736-3066-4639-b366-636434613565
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250626T200000Z
DTEND:20250626T200000Z
SUMMARY:Qmc: Tutorial Sheet 8 (QMC 11)
END:VEVENT
BEGIN:VEVENT
UID:30633561-6334-4461-a130-616639623331
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250626T200100Z
DTEND:20250626T200100Z
SUMMARY:Qmc: Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:38636166-6665-4138-b532-323036663834
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250703T100100Z
DTEND:20250703T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 11
END:VEVENT
BEGIN:VEVENT
UID:62646166-3936-4263-a334-393461323436
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250703T122500Z
DTEND:20250703T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 12
END:VEVENT
BEGIN:VEVENT
UID:66653163-6632-4438-a535-636431376337
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250703T160000Z
DTEND:20250703T160000Z
SUMMARY:Qmc: Tutorial Sheet 9 (QMC 12)
END:VEVENT
BEGIN:VEVENT
UID:31663635-6461-4464-b037-646632303530
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250710T095900Z
DTEND:20250710T095900Z
SUMMARY:Qmc: Deadline Theory Assignment 5
END:VEVENT
BEGIN:VEVENT
UID:65623139-6462-4561-a164-383932346535
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250710T100100Z
DTEND:20250710T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 12
END:VEVENT
BEGIN:VEVENT
UID:63313963-3263-4037-b430-363761303863
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250710T122500Z
DTEND:20250710T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC 13
END:VEVENT
BEGIN:VEVENT
UID:30646237-3934-4630-a139-376366303433
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250710T160000Z
DTEND:20250710T160000Z
SUMMARY:Qmc: Tutorial Sheet 10 (QMC 13)
END:VEVENT
BEGIN:VEVENT
UID:30613664-3335-4161-b933-386234303030
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250717T100100Z
DTEND:20250717T113000Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: Tutorial QMC 13
END:VEVENT
BEGIN:VEVENT
UID:65623162-6337-4363-b434-656634366532
DTSTAMP:20260906T114917Z
DESCRIPTION:
DTSTART:20250717T122500Z
DTEND:20250717T135500Z
LOCATION:HS 001 of E1 3
SUMMARY:Qmc: QMC Wrapup
END:VEVENT
END:VCALENDAR