BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:37316364-3561-4738-b032-653532646430
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:32393566-3766-4236-a637-393766303935
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170419T120000Z
DTEND:20170419T140000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 1
END:VEVENT
BEGIN:VEVENT
UID:61343034-6231-4563-b135-373530663931
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170424T060000Z
DTEND:20170424T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 2
END:VEVENT
BEGIN:VEVENT
UID:62663066-3232-4462-b362-396334383735
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170426T120000Z
DTEND:20170426T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63323433-3365-4962-b339-643135336436
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170508T060000Z
DTEND:20170508T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 3
END:VEVENT
BEGIN:VEVENT
UID:63303133-3232-4435-b766-363566626230
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170510T120000Z
DTEND:20170510T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61343337-6263-4034-b162-393063363336
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170515T060000Z
DTEND:20170515T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 4
END:VEVENT
BEGIN:VEVENT
UID:37343936-6136-4032-b036-643365333634
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170517T120000Z
DTEND:20170517T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38666363-3630-4062-b366-633038343062
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170522T060000Z
DTEND:20170522T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 5
END:VEVENT
BEGIN:VEVENT
UID:38306362-6330-4765-b438-306333656339
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART;VALUE=DATE:20170524
DTEND;VALUE=DATE:20170525
SUMMARY:Qmc17: No Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33353662-6331-4938-b663-623539313864
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170529T060000Z
DTEND:20170529T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 6
END:VEVENT
BEGIN:VEVENT
UID:37616437-3462-4463-b135-393761373539
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170531T120000Z
DTEND:20170531T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66326137-6630-4536-b533-643965383334
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170612T060000Z
DTEND:20170612T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 7
END:VEVENT
BEGIN:VEVENT
UID:64333864-3735-4236-a131-626132366632
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170616T215900Z
DTEND:20170616T215900Z
SUMMARY:Qmc17: Deadline: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:30616238-6336-4563-b563-396537333563
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170619T060000Z
DTEND:20170619T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 8
END:VEVENT
BEGIN:VEVENT
UID:65313565-6135-4435-a161-633333323137
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170621T120000Z
DTEND:20170621T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35346164-6331-4466-b061-393163363733
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170626T060000Z
DTEND:20170626T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 9
END:VEVENT
BEGIN:VEVENT
UID:36643765-3963-4232-b638-636163613136
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170626T215900Z
DTEND:20170626T215900Z
SUMMARY:Qmc17: Deadline: Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:66393765-6231-4366-a261-356637303463
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170628T120000Z
DTEND:20170628T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39633931-3835-4133-b130-613963393866
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170703T060000Z
DTEND:20170703T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 10
END:VEVENT
BEGIN:VEVENT
UID:33333161-3532-4239-b935-626236326161
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170705T120000Z
DTEND:20170705T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39393533-3230-4864-b930-373234323136
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170710T060000Z
DTEND:20170710T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 11
END:VEVENT
BEGIN:VEVENT
UID:34633361-3032-4538-b238-653661323162
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170712T120000Z
DTEND:20170712T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35663864-6638-4266-a165-323864633461
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170717T060000Z
DTEND:20170717T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 12
END:VEVENT
BEGIN:VEVENT
UID:63633333-6136-4663-a665-313465313435
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170719T120000Z
DTEND:20170719T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65613234-6162-4237-b962-366263373761
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170724T060000Z
DTEND:20170724T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Qmc17: Lecture 13
END:VEVENT
BEGIN:VEVENT
UID:63366231-3261-4865-b730-653066636431
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170724T215900Z
DTEND:20170724T215900Z
SUMMARY:Qmc17: Deadline: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:64616139-3935-4338-b832-346338323834
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170726T120000Z
DTEND:20170726T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Qmc17: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33643762-3864-4132-b933-303565346663
DTSTAMP:20260626T233840Z
DESCRIPTION:
DTSTART:20170804T120000Z
DTEND:20170804T140000Z
SUMMARY:Qmc17: Final Exam
END:VEVENT
END:VCALENDAR