BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:38636565-6539-4261-b233-336164353765
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:62386438-3262-4532-b864-336334633962
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170419T120000Z
DTEND:20170419T140000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 1
END:VEVENT
BEGIN:VEVENT
UID:61313935-6364-4635-b836-643862363631
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170424T060000Z
DTEND:20170424T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 2
END:VEVENT
BEGIN:VEVENT
UID:61626663-6662-4636-b831-316231383233
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170426T120000Z
DTEND:20170426T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38383663-3436-4432-a534-343332656661
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170508T060000Z
DTEND:20170508T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 3
END:VEVENT
BEGIN:VEVENT
UID:36616237-6661-4539-a261-663235653135
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170510T120000Z
DTEND:20170510T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61326236-6663-4830-a161-323633616239
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170515T060000Z
DTEND:20170515T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 4
END:VEVENT
BEGIN:VEVENT
UID:33336665-3435-4935-b438-313861666331
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170517T120000Z
DTEND:20170517T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66393463-3839-4265-b433-313336333566
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170522T060000Z
DTEND:20170522T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 5
END:VEVENT
BEGIN:VEVENT
UID:32363062-3730-4862-a465-353837643562
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART;VALUE=DATE:20170524
DTEND;VALUE=DATE:20170525
SUMMARY:No Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32373663-3737-4666-b962-363861616431
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170529T060000Z
DTEND:20170529T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 6
END:VEVENT
BEGIN:VEVENT
UID:39376434-3632-4464-b830-373436653264
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170531T120000Z
DTEND:20170531T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62373561-6536-4663-b737-643839643331
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170612T060000Z
DTEND:20170612T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 7
END:VEVENT
BEGIN:VEVENT
UID:39623930-3337-4563-b432-643964623637
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170616T215900Z
DTEND:20170616T215900Z
SUMMARY:Deadline: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:37323562-3466-4237-b338-633633656432
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170619T060000Z
DTEND:20170619T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 8
END:VEVENT
BEGIN:VEVENT
UID:39303231-3730-4335-b931-326231313336
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170621T120000Z
DTEND:20170621T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33373338-3363-4237-b534-663331313865
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170626T060000Z
DTEND:20170626T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 9
END:VEVENT
BEGIN:VEVENT
UID:36663136-3434-4635-b836-633165306665
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170626T215900Z
DTEND:20170626T215900Z
SUMMARY:Deadline: Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:35666165-3032-4065-a264-383136303738
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170628T120000Z
DTEND:20170628T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32346266-3839-4661-b439-333131313031
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170703T060000Z
DTEND:20170703T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 10
END:VEVENT
BEGIN:VEVENT
UID:35343434-3634-4532-b536-613237383130
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170705T120000Z
DTEND:20170705T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65363966-3234-4438-a437-633266656138
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170710T060000Z
DTEND:20170710T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 11
END:VEVENT
BEGIN:VEVENT
UID:65303065-3261-4666-b335-643963313534
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170712T120000Z
DTEND:20170712T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66333131-6366-4664-a465-646237626532
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170717T060000Z
DTEND:20170717T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 12
END:VEVENT
BEGIN:VEVENT
UID:38333232-3838-4438-b734-363661373466
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170719T120000Z
DTEND:20170719T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63656264-3162-4363-b537-373434393234
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170724T060000Z
DTEND:20170724T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 13
END:VEVENT
BEGIN:VEVENT
UID:64346462-3339-4135-b165-393839633533
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170724T215900Z
DTEND:20170724T215900Z
SUMMARY:Deadline: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:36633661-3136-4631-a432-353534646564
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170726T120000Z
DTEND:20170726T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61316534-3665-4737-a231-366338326135
DTSTAMP:20260626T233833Z
DESCRIPTION:
DTSTART:20170804T120000Z
DTEND:20170804T140000Z
SUMMARY:Final Exam
END:VEVENT
END:VCALENDAR