BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:34353337-3737-4237-b232-626334623732
X-WR-CALNAME:Semantics Calendar
X-WR-CALDESC:Events of the lecture Semantics
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:34323666-6431-4464-b163-643435333231
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211020T080000Z
DTEND:20211020T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62623064-3934-4033-a233-323765656330
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211021T140000Z
DTEND:20211021T160000Z
LOCATION:Online
SUMMARY:Warm-up Session
END:VEVENT
BEGIN:VEVENT
UID:32616464-3734-4838-b066-313833386338
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211022T080000Z
DTEND:20211022T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63343465-3162-4763-a662-383061366239
DTSTAMP:20261112T002718Z
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:65346633-6365-4437-b435-376564373337
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211027T080000Z
DTEND:20211027T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31303131-3736-4564-b736-353061343166
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211027T110000Z
DTEND:20211027T130000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:63666662-6432-4035-a465-303137653361
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211028T140000Z
DTEND:20211028T160000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38333633-3239-4230-b462-393236303832
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211029T080000Z
DTEND:20211029T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31393662-3534-4530-b137-613339623462
DTSTAMP:20261112T002718Z
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:37323832-3864-4036-b265-326166313866
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211103T090000Z
DTEND:20211103T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66353231-3463-4266-b966-623161633866
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211103T120000Z
DTEND:20211103T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:65366138-6262-4632-b936-316632313432
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211104T150000Z
DTEND:20211104T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61623563-6663-4533-b030-396635633565
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211105T090000Z
DTEND:20211105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63373065-6236-4435-b266-343964363266
DTSTAMP:20261112T002718Z
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:65613064-3036-4535-b534-333134353633
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211110T090000Z
DTEND:20211110T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33373538-3063-4366-b166-366437613935
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211110T120000Z
DTEND:20211110T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:35386565-6666-4464-b232-396533623938
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211111T150000Z
DTEND:20211111T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33613536-3264-4132-a238-373761653834
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211112T090000Z
DTEND:20211112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36653861-3763-4561-b664-336565303638
DTSTAMP:20261112T002718Z
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:65633066-3064-4636-b933-323833326261
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211117T090000Z
DTEND:20211117T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38376462-3633-4565-b964-613265623230
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211117T120000Z
DTEND:20211117T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61666136-3966-4261-a565-363936316162
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211118T150000Z
DTEND:20211118T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35613235-3434-4535-b636-353830646435
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211119T090000Z
DTEND:20211119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63656539-6161-4866-b762-396135613430
DTSTAMP:20261112T002718Z
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:33333438-3638-4835-a361-383164303333
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211124T090000Z
DTEND:20211124T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64356338-3135-4839-b035-613234393039
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211124T120000Z
DTEND:20211124T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38653038-3438-4761-a431-323339643561
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211125T150000Z
DTEND:20211125T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37636633-6632-4163-b763-666136643564
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211126T090000Z
DTEND:20211126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39366364-6433-4133-a464-303163636530
DTSTAMP:20261112T002718Z
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:39383463-3238-4935-b266-663333646635
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211201T090000Z
DTEND:20211201T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66323062-3439-4665-a366-353664346530
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211201T120000Z
DTEND:20211201T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:34646435-6462-4666-b066-633462356665
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211202T150000Z
DTEND:20211202T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65346533-6432-4566-a363-326530316132
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211203T090000Z
DTEND:20211203T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37396162-3661-4632-b334-636161326138
DTSTAMP:20261112T002718Z
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:64613466-3734-4833-b133-643833363333
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211206T120000Z
DTEND:20211206T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39633431-6361-4664-a433-386339356539
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37623465-3066-4137-b361-393465623531
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Lecture Hall 002\, E1.3
SUMMARY:Midterm
END:VEVENT
BEGIN:VEVENT
UID:33353562-3964-4664-b538-613039313936
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211209T150000Z
DTEND:20211209T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64343765-6463-4533-b035-623065353138
DTSTAMP:20261112T002718Z
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:37643164-3964-4535-a366-656535646337
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211215T090000Z
DTEND:20211215T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31636362-3066-4434-b131-343730656236
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211215T120000Z
DTEND:20211215T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:65356437-6532-4163-a537-643439656663
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20211217T090000Z
DTEND:20211217T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33333631-6339-4563-b062-643464353536
DTSTAMP:20261112T002718Z
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:31393337-3431-4465-b930-383130353935
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220105T090000Z
DTEND:20220105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61343133-3935-4139-b838-316166653062
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220105T120000Z
DTEND:20220105T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61353631-3864-4165-a439-646538633037
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220106T150000Z
DTEND:20220106T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37336633-3531-4232-b963-373136643763
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220107T090000Z
DTEND:20220107T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65663463-3330-4339-a530-316665663230
DTSTAMP:20261112T002718Z
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:34613061-3666-4465-b938-663261663863
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220112T090000Z
DTEND:20220112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65363931-3933-4339-a562-613532396433
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220112T120000Z
DTEND:20220112T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:35376362-3835-4630-a636-393437383931
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220113T150000Z
DTEND:20220113T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66373635-6234-4135-b764-366233323965
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220114T090000Z
DTEND:20220114T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65373033-6464-4931-b661-663737366333
DTSTAMP:20261112T002718Z
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:64396262-3238-4363-b936-323864393038
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220119T090000Z
DTEND:20220119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39336632-6235-4134-b131-386634323464
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220119T120000Z
DTEND:20220119T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:63666235-6332-4130-b364-396333656535
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220120T150000Z
DTEND:20220120T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65333539-3234-4263-b930-666532363862
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220121T090000Z
DTEND:20220121T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31386363-3537-4864-b936-323065666135
DTSTAMP:20261112T002718Z
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:62336537-3936-4533-a661-376264393364
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220124T120000Z
DTEND:20220124T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66643033-3230-4436-b065-303236353834
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220126T090000Z
DTEND:20220126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31663062-3037-4661-b138-613937333934
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220127T150000Z
DTEND:20220127T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61383866-3961-4164-b864-353832333537
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220128T090000Z
DTEND:20220128T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65646339-3266-4536-a335-613765666265
DTSTAMP:20261112T002718Z
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:38343266-6138-4332-a235-306665626463
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220131T120000Z
DTEND:20220131T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:63333737-6263-4837-b138-663864303435
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220202T090000Z
DTEND:20220202T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37613262-3932-4133-a661-663765333038
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220203T150000Z
DTEND:20220203T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30343561-6337-4436-b330-623737663736
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220204T090000Z
DTEND:20220204T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37623265-3639-4366-b231-303435643062
DTSTAMP:20261112T002718Z
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:65363963-6563-4963-b334-653261633032
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220207T120000Z
DTEND:20220207T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39653362-6432-4231-a433-333635663735
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220209T090000Z
DTEND:20220209T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66313836-3765-4634-a230-656462393832
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220210T150000Z
DTEND:20220210T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30633563-6431-4530-b063-323833363166
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220211T090000Z
DTEND:20220211T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39626330-6664-4831-a165-316461623965
DTSTAMP:20261112T002718Z
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:39623762-3365-4263-a337-316535373833
DTSTAMP:20261112T002718Z
DESCRIPTION:
DTSTART:20220216T130000Z
DTEND:20220216T150000Z
LOCATION:Lecture Hall 003\, E1.3
SUMMARY:Endterm
END:VEVENT
END:VCALENDAR