BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.71//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:32336535-6430-4534-b764-356366633434
X-WR-CALNAME:Semantics Calendar
X-WR-CALDESC:Events of the lecture Semantics
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:37316262-6166-4731-b933-666139646230
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211020T080000Z
DTEND:20211020T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32656534-6238-4565-b632-323839353161
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211021T140000Z
DTEND:20211021T160000Z
LOCATION:Online
SUMMARY:Warm-up Session
END:VEVENT
BEGIN:VEVENT
UID:35653664-6164-4963-b139-373330663035
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211022T080000Z
DTEND:20211022T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32396238-6434-4536-a533-393364636635
DTSTAMP:20260407T112851Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211022T110000Z
DTEND:20211022T130000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33653236-6565-4566-b831-386330393865
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211027T080000Z
DTEND:20211027T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63333466-3265-4538-b664-373563663666
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211027T110000Z
DTEND:20211027T130000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64666230-6438-4235-b561-623433356539
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211028T140000Z
DTEND:20211028T160000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31626161-3338-4565-a465-626461356531
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211029T080000Z
DTEND:20211029T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63333166-6161-4930-a638-373938303434
DTSTAMP:20260407T112851Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211029T110000Z
DTEND:20211029T130000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:63323437-6133-4338-a233-353034303232
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211103T090000Z
DTEND:20211103T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62316530-3563-4839-a265-326534613634
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211103T120000Z
DTEND:20211103T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37353035-3335-4231-a163-623364643431
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211104T150000Z
DTEND:20211104T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63363561-3735-4634-b330-386463386535
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211105T090000Z
DTEND:20211105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63383839-6166-4138-b766-656536663132
DTSTAMP:20260407T112851Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211105T120000Z
DTEND:20211105T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64623831-6338-4138-b330-633961653239
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211110T090000Z
DTEND:20211110T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61353534-3436-4461-b166-306262353032
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211110T120000Z
DTEND:20211110T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39366664-3866-4733-b862-396133326232
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211111T150000Z
DTEND:20211111T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32316637-3934-4536-b933-393035383165
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211112T090000Z
DTEND:20211112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32623465-3864-4233-b439-383165663366
DTSTAMP:20260407T112851Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211112T120000Z
DTEND:20211112T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37333862-6464-4930-b332-316330376261
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211117T090000Z
DTEND:20211117T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64383733-6438-4538-a533-383337333737
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211117T120000Z
DTEND:20211117T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64366630-3963-4430-b936-353939356632
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211118T150000Z
DTEND:20211118T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62343063-3765-4433-a437-343038623430
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211119T090000Z
DTEND:20211119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34373039-6631-4039-b932-346634303466
DTSTAMP:20260407T112851Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211119T120000Z
DTEND:20211119T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:32336132-6236-4162-b733-396436636133
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211124T090000Z
DTEND:20211124T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30373665-3331-4564-a164-663037623137
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211124T120000Z
DTEND:20211124T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30373933-6431-4933-b434-313431333963
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211125T150000Z
DTEND:20211125T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63353763-3762-4664-a438-353333656432
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211126T090000Z
DTEND:20211126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33363564-6231-4465-b665-313364333535
DTSTAMP:20260407T112851Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211126T120000Z
DTEND:20211126T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66626462-6564-4634-b562-333061316463
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211201T090000Z
DTEND:20211201T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32643835-6531-4333-b132-643134393733
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211201T120000Z
DTEND:20211201T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39306434-6439-4430-a333-613163646166
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211202T150000Z
DTEND:20211202T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37626464-3161-4664-b837-306134393136
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211203T090000Z
DTEND:20211203T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66323036-6439-4666-b537-333233313763
DTSTAMP:20260407T112851Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211203T120000Z
DTEND:20211203T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:63393139-6537-4662-a231-383966386565
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211206T120000Z
DTEND:20211206T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64666332-3935-4533-b964-656638653465
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38333133-6639-4336-b561-653038333766
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Lecture Hall 002\, E1.3
SUMMARY:Midterm
END:VEVENT
BEGIN:VEVENT
UID:34613935-6137-4135-a162-333565393866
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211209T150000Z
DTEND:20211209T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31323661-6361-4931-a531-386662353638
DTSTAMP:20260407T112851Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211210T120000Z
DTEND:20211210T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64623566-6363-4565-b935-643034643836
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211215T090000Z
DTEND:20211215T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33393031-6264-4263-a635-376130313539
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211215T120000Z
DTEND:20211215T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30366635-3337-4138-b930-636165373037
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20211217T090000Z
DTEND:20211217T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63623161-3630-4237-a439-323036303035
DTSTAMP:20260407T112851Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211217T120000Z
DTEND:20211217T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36303134-3737-4231-b163-353034386430
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220105T090000Z
DTEND:20220105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36333037-6466-4961-b664-396163623032
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220105T120000Z
DTEND:20220105T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30303934-3263-4465-b431-353538393831
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220106T150000Z
DTEND:20220106T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64393066-3036-4164-b438-393230663139
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220107T090000Z
DTEND:20220107T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65346438-3834-4938-a463-646162336561
DTSTAMP:20260407T112851Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20220107T120000Z
DTEND:20220107T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33343535-3239-4338-b666-383663323062
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220112T090000Z
DTEND:20220112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64353364-3130-4065-b438-653264656435
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220112T120000Z
DTEND:20220112T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61303238-3639-4537-a333-643032323538
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220113T150000Z
DTEND:20220113T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63626538-3730-4162-b234-396236623464
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220114T090000Z
DTEND:20220114T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62633961-3436-4664-a132-303933373432
DTSTAMP:20260407T112851Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20220114T120000Z
DTEND:20220114T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30386630-6234-4137-a665-663662663331
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220119T090000Z
DTEND:20220119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64666663-3063-4664-b132-316266363363
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220119T120000Z
DTEND:20220119T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:32646139-3435-4838-b433-366163613533
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220120T150000Z
DTEND:20220120T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62623965-3234-4637-a333-656436623537
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220121T090000Z
DTEND:20220121T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37333861-3164-4636-a566-313139636238
DTSTAMP:20260407T112851Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20220121T120000Z
DTEND:20220121T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66383431-6432-4631-b335-306435383562
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220124T120000Z
DTEND:20220124T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:65353634-6562-4234-a535-633063396462
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220126T090000Z
DTEND:20220126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63343936-6634-4438-a665-346466626137
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220127T150000Z
DTEND:20220127T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63383466-3462-4135-a363-383731356635
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220128T090000Z
DTEND:20220128T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63366134-3063-4661-a630-383830626235
DTSTAMP:20260407T112851Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20220128T120000Z
DTEND:20220128T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:32383630-3138-4138-b264-626136316537
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220131T120000Z
DTEND:20220131T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38373232-6136-4538-b865-653631666662
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220202T090000Z
DTEND:20220202T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30323662-3133-4163-b366-303166363133
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220203T150000Z
DTEND:20220203T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39306432-6638-4532-b730-643331333233
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220204T090000Z
DTEND:20220204T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33303761-3266-4434-a535-393236336664
DTSTAMP:20260407T112851Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20220204T120000Z
DTEND:20220204T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:63373435-6232-4137-b135-356336613961
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220207T120000Z
DTEND:20220207T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37393638-6130-4439-b235-353261396233
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220209T090000Z
DTEND:20220209T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63393534-3930-4935-a265-346336333939
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220210T150000Z
DTEND:20220210T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39353132-6435-4031-b635-346465643936
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220211T090000Z
DTEND:20220211T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39633335-6230-4031-b535-633730303933
DTSTAMP:20260407T112851Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20220211T120000Z
DTEND:20220211T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30383439-3431-4662-b165-306537303166
DTSTAMP:20260407T112851Z
DESCRIPTION:
DTSTART:20220216T130000Z
DTEND:20220216T150000Z
LOCATION:Lecture Hall 003\, E1.3
SUMMARY:Endterm
END:VEVENT
END:VCALENDAR