BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:39373835-3265-4131-b965-306538393135
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:65613861-3234-4132-a432-373839643137
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170419T120000Z
DTEND:20170419T140000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 1
END:VEVENT
BEGIN:VEVENT
UID:35613739-6438-4265-a136-643062383864
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170424T060000Z
DTEND:20170424T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 2
END:VEVENT
BEGIN:VEVENT
UID:37336265-3635-4633-b461-343963363365
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170426T120000Z
DTEND:20170426T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62363334-3433-4339-b831-353639333333
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170508T060000Z
DTEND:20170508T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 3
END:VEVENT
BEGIN:VEVENT
UID:63326165-3961-4232-b835-386433616231
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170510T120000Z
DTEND:20170510T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38303136-6434-4663-a531-366134363835
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170515T060000Z
DTEND:20170515T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 4
END:VEVENT
BEGIN:VEVENT
UID:34666639-3461-4566-a634-346463343931
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170517T120000Z
DTEND:20170517T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64323034-3031-4930-a564-383932613130
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170522T060000Z
DTEND:20170522T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 5
END:VEVENT
BEGIN:VEVENT
UID:36346238-3364-4936-b861-376162623237
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART;VALUE=DATE:20170524
DTEND;VALUE=DATE:20170525
SUMMARY:No Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31663965-3234-4730-b637-623961613763
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170529T060000Z
DTEND:20170529T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 6
END:VEVENT
BEGIN:VEVENT
UID:65616461-6133-4233-b939-623531303961
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170531T120000Z
DTEND:20170531T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33386532-3530-4362-b063-363963653130
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170612T060000Z
DTEND:20170612T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 7
END:VEVENT
BEGIN:VEVENT
UID:36643833-3739-4665-a233-303135376135
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170616T215900Z
DTEND:20170616T215900Z
SUMMARY:Deadline: Practical Assignment 1
END:VEVENT
BEGIN:VEVENT
UID:35363334-3238-4235-b833-333961633661
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170619T060000Z
DTEND:20170619T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 8
END:VEVENT
BEGIN:VEVENT
UID:34343434-6566-4633-b161-303534613233
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170621T120000Z
DTEND:20170621T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61636235-3833-4534-a136-343234653639
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170626T060000Z
DTEND:20170626T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 9
END:VEVENT
BEGIN:VEVENT
UID:66643664-6534-4738-b965-623165346432
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170626T215900Z
DTEND:20170626T215900Z
SUMMARY:Deadline: Practical Assignment 2
END:VEVENT
BEGIN:VEVENT
UID:31373539-6463-4138-b033-323936303564
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170628T120000Z
DTEND:20170628T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35376664-3434-4737-b238-306139313538
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170703T060000Z
DTEND:20170703T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 10
END:VEVENT
BEGIN:VEVENT
UID:36356164-3938-4834-a666-393264393064
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170705T120000Z
DTEND:20170705T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66393262-3234-4632-b863-633736353939
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170710T060000Z
DTEND:20170710T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 11
END:VEVENT
BEGIN:VEVENT
UID:64613763-3261-4866-a265-353339396464
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170712T120000Z
DTEND:20170712T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32396136-3433-4661-b238-303730383165
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170717T060000Z
DTEND:20170717T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 12
END:VEVENT
BEGIN:VEVENT
UID:34306162-3732-4461-b033-366634393736
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170719T120000Z
DTEND:20170719T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61656361-3734-4632-b265-623139363039
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170724T060000Z
DTEND:20170724T080000Z
LOCATION:E 1.3\, SR 016
SUMMARY:Lecture 13
END:VEVENT
BEGIN:VEVENT
UID:35353966-3064-4939-b265-383038313364
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170724T215900Z
DTEND:20170724T215900Z
SUMMARY:Deadline: Practical Assignment 3
END:VEVENT
BEGIN:VEVENT
UID:35316236-6461-4236-b735-376239333862
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170726T120000Z
DTEND:20170726T140000Z
LOCATION:E1.1\, SR U12
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30353836-3236-4731-b130-633739656634
DTSTAMP:20260902T044849Z
DESCRIPTION:
DTSTART:20170804T120000Z
DTEND:20170804T140000Z
SUMMARY:Final Exam
END:VEVENT
END:VCALENDAR