BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:63386137-6465-4530-b238-653831326136
X-WR-CALNAME:Semantics Calendar
X-WR-CALDESC:Events of the lecture Semantics
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:61313733-6462-4437-a630-303661393032
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211020T080000Z
DTEND:20211020T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32383336-3161-4534-b335-373563663934
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211021T140000Z
DTEND:20211021T160000Z
LOCATION:Online
SUMMARY:Warm-up Session
END:VEVENT
BEGIN:VEVENT
UID:34386437-3465-4962-b165-393934313130
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211022T080000Z
DTEND:20211022T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66626663-3139-4933-a462-383532623331
DTSTAMP:20260514T010503Z
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:30356132-3162-4961-b130-303234346564
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211027T080000Z
DTEND:20211027T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35666332-6432-4666-b961-333936616538
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211027T110000Z
DTEND:20211027T130000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62623764-6537-4230-a161-323436616261
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211028T140000Z
DTEND:20211028T160000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37306337-6261-4565-a234-313235623831
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211029T080000Z
DTEND:20211029T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34663636-6363-4636-b862-666436336238
DTSTAMP:20260514T010503Z
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:35346338-3536-4439-a562-373330633931
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211103T090000Z
DTEND:20211103T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32666433-3436-4439-a363-383739316163
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211103T120000Z
DTEND:20211103T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33303835-6439-4733-a435-643036363038
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211104T150000Z
DTEND:20211104T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37663837-6430-4638-a665-353934633239
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211105T090000Z
DTEND:20211105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36623863-3236-4333-b765-343865303433
DTSTAMP:20260514T010503Z
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:62663465-3233-4439-a132-616365656566
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211110T090000Z
DTEND:20211110T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64373333-6130-4762-a335-363161646537
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211110T120000Z
DTEND:20211110T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61333162-3236-4037-b937-663332663634
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211111T150000Z
DTEND:20211111T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32373361-3962-4262-a232-666562363839
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211112T090000Z
DTEND:20211112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63323664-3432-4561-b238-653135353837
DTSTAMP:20260514T010503Z
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:34613462-6137-4963-b631-373033356132
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211117T090000Z
DTEND:20211117T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63663765-6636-4566-a164-393238373936
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211117T120000Z
DTEND:20211117T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61323537-3632-4339-b135-663133376366
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211118T150000Z
DTEND:20211118T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34303835-6633-4762-b238-396238363537
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211119T090000Z
DTEND:20211119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33376233-3262-4962-a161-613961383336
DTSTAMP:20260514T010503Z
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:62636538-3332-4366-a231-633230343436
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211124T090000Z
DTEND:20211124T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62366238-3735-4330-b939-303531616337
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211124T120000Z
DTEND:20211124T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64383265-3638-4937-b432-666436356265
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211125T150000Z
DTEND:20211125T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38633961-3166-4730-a437-613435383637
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211126T090000Z
DTEND:20211126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30373338-3135-4537-a436-643032373036
DTSTAMP:20260514T010503Z
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:62646436-6337-4862-b861-313537613731
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211201T090000Z
DTEND:20211201T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39666131-6166-4331-b362-336633633564
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211201T120000Z
DTEND:20211201T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36636235-6336-4139-b034-386130323361
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211202T150000Z
DTEND:20211202T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62353163-3862-4736-a636-363638353034
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211203T090000Z
DTEND:20211203T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36616531-3561-4963-b130-316264343238
DTSTAMP:20260514T010503Z
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:36323262-3763-4261-b937-396438386537
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211206T120000Z
DTEND:20211206T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:32656532-6134-4166-b439-393266613761
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65363339-3934-4033-a334-346230313136
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Lecture Hall 002\, E1.3
SUMMARY:Midterm
END:VEVENT
BEGIN:VEVENT
UID:66663266-6438-4237-b436-623963313862
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211209T150000Z
DTEND:20211209T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30633663-3735-4565-a166-616164643432
DTSTAMP:20260514T010503Z
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:36323265-3232-4732-b162-313466346666
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211215T090000Z
DTEND:20211215T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63623539-6130-4039-a665-396164626236
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211215T120000Z
DTEND:20211215T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61313338-6563-4034-b830-336162333138
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20211217T090000Z
DTEND:20211217T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38613164-6566-4562-b465-616138343336
DTSTAMP:20260514T010503Z
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:30363661-3737-4735-b066-346138303364
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220105T090000Z
DTEND:20220105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39393535-6135-4863-b135-363130333235
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220105T120000Z
DTEND:20220105T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:34313433-3661-4338-b231-646336653764
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220106T150000Z
DTEND:20220106T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62373038-6430-4432-a432-366565633566
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220107T090000Z
DTEND:20220107T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65333838-3936-4130-b737-343732376431
DTSTAMP:20260514T010503Z
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:61383035-3132-4933-a231-666638326130
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220112T090000Z
DTEND:20220112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66363034-3163-4239-b566-333430366439
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220112T120000Z
DTEND:20220112T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37643333-6666-4334-b165-346137393839
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220113T150000Z
DTEND:20220113T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62333234-6564-4161-b133-303232623639
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220114T090000Z
DTEND:20220114T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65363032-3064-4633-b337-306466373565
DTSTAMP:20260514T010503Z
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:39396238-3136-4037-b831-393838656633
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220119T090000Z
DTEND:20220119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64646165-3961-4130-b337-636236653661
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220119T120000Z
DTEND:20220119T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61653838-3965-4661-b065-623439633531
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220120T150000Z
DTEND:20220120T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62626434-3734-4161-a130-373930643864
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220121T090000Z
DTEND:20220121T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39383235-3636-4064-a161-366634326664
DTSTAMP:20260514T010503Z
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:37343338-3633-4933-a465-636436303663
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220124T120000Z
DTEND:20220124T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36303434-3532-4766-b733-643133653166
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220126T090000Z
DTEND:20220126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31623031-3263-4638-a238-636464666466
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220127T150000Z
DTEND:20220127T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39353131-6566-4261-b734-636134313262
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220128T090000Z
DTEND:20220128T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32353862-3038-4437-a137-663733373738
DTSTAMP:20260514T010503Z
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:36656363-3762-4461-b339-393934323533
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220131T120000Z
DTEND:20220131T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30653334-3661-4262-a434-636635386238
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220202T090000Z
DTEND:20220202T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62383864-3739-4435-b166-323932346338
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220203T150000Z
DTEND:20220203T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31666465-6630-4233-a630-336533663337
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220204T090000Z
DTEND:20220204T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32326634-3737-4737-a437-326334393066
DTSTAMP:20260514T010503Z
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:63386534-3065-4564-b666-363436363332
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220207T120000Z
DTEND:20220207T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:34303732-3264-4430-b630-623162636665
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220209T090000Z
DTEND:20220209T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32343535-3330-4431-a634-306232326264
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220210T150000Z
DTEND:20220210T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64373562-3164-4536-a465-383635363838
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220211T090000Z
DTEND:20220211T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39356163-6131-4636-b063-393932353236
DTSTAMP:20260514T010503Z
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:34313930-3464-4930-b437-343966333864
DTSTAMP:20260514T010503Z
DESCRIPTION:
DTSTART:20220216T130000Z
DTEND:20220216T150000Z
LOCATION:Lecture Hall 003\, E1.3
SUMMARY:Endterm
END:VEVENT
END:VCALENDAR