BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:30643461-3763-4632-a166-653939663861
X-WR-CALNAME:Semantics Calendar
X-WR-CALDESC:Events of the lecture Semantics
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:66653461-3433-4732-a433-323261656161
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211020T080000Z
DTEND:20211020T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61653862-3937-4033-a462-333566616563
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211021T140000Z
DTEND:20211021T160000Z
LOCATION:Online
SUMMARY:Warm-up Session
END:VEVENT
BEGIN:VEVENT
UID:36656463-3530-4664-b631-383136666263
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211022T080000Z
DTEND:20211022T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34363736-3930-4363-a432-326331343432
DTSTAMP:20260824T065222Z
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:64383565-6334-4539-b332-616366346630
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211027T080000Z
DTEND:20211027T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63373062-6462-4330-b262-636337636461
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211027T110000Z
DTEND:20211027T130000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:65353664-3837-4535-b265-313461626138
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211028T140000Z
DTEND:20211028T160000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38376363-6138-4663-b132-323162326431
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211029T080000Z
DTEND:20211029T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31663235-6531-4732-a264-313332633931
DTSTAMP:20260824T065222Z
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:38393734-3564-4232-b439-623234656163
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211103T090000Z
DTEND:20211103T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37383363-6431-4131-b666-393130623838
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211103T120000Z
DTEND:20211103T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62313665-3066-4963-b336-633263623531
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211104T150000Z
DTEND:20211104T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31666433-3461-4337-b631-363433663137
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211105T090000Z
DTEND:20211105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61303035-6130-4366-b937-326531633133
DTSTAMP:20260824T065222Z
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:65636665-3036-4834-b964-656638313335
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211110T090000Z
DTEND:20211110T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66636361-3663-4234-b438-633366393861
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211110T120000Z
DTEND:20211110T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37373861-3661-4431-b666-333062616330
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211111T150000Z
DTEND:20211111T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34383066-6638-4730-a337-636166646162
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211112T090000Z
DTEND:20211112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35663564-6264-4235-a531-383832616235
DTSTAMP:20260824T065222Z
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:30303430-6161-4562-b238-396331373765
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211117T090000Z
DTEND:20211117T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36313238-3262-4564-b134-303733633531
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211117T120000Z
DTEND:20211117T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37613634-6332-4331-b037-663736333138
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211118T150000Z
DTEND:20211118T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38323135-3836-4334-b036-336634353136
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211119T090000Z
DTEND:20211119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30323639-3132-4331-a535-393233346161
DTSTAMP:20260824T065222Z
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:39623831-6639-4638-b536-633462366634
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211124T090000Z
DTEND:20211124T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35613361-3063-4134-b835-363466396636
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211124T120000Z
DTEND:20211124T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33646336-6231-4662-a536-383832623235
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211125T150000Z
DTEND:20211125T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61626465-6132-4939-b337-343663646339
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211126T090000Z
DTEND:20211126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37633831-3265-4664-b831-653138626363
DTSTAMP:20260824T065222Z
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:62663239-3538-4566-b366-663533316538
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211201T090000Z
DTEND:20211201T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63333136-6634-4133-b661-653662653235
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211201T120000Z
DTEND:20211201T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:65653364-3166-4431-b835-393566653530
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211202T150000Z
DTEND:20211202T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31346164-3532-4035-a565-303237623237
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211203T090000Z
DTEND:20211203T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63623263-3266-4333-a264-616330306433
DTSTAMP:20260824T065222Z
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:30333066-6539-4030-a164-346334656536
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211206T120000Z
DTEND:20211206T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39626332-6339-4233-a435-326239323162
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31653035-3461-4635-b538-646530373661
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Lecture Hall 002\, E1.3
SUMMARY:Midterm
END:VEVENT
BEGIN:VEVENT
UID:64643130-3836-4661-b239-346166333162
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211209T150000Z
DTEND:20211209T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66663337-3538-4332-b439-666234626163
DTSTAMP:20260824T065222Z
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:64373963-3037-4237-b464-623463356236
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211215T090000Z
DTEND:20211215T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31316162-3561-4366-b431-623130636637
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211215T120000Z
DTEND:20211215T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33363261-3632-4137-b062-376131346461
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20211217T090000Z
DTEND:20211217T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37303230-3538-4131-b961-336139333963
DTSTAMP:20260824T065222Z
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:34343732-6432-4265-b161-666435643637
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220105T090000Z
DTEND:20220105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63316637-6262-4366-b037-663065376532
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220105T120000Z
DTEND:20220105T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37326165-6563-4330-a536-613734343163
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220106T150000Z
DTEND:20220106T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37396664-3131-4930-b361-623637663933
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220107T090000Z
DTEND:20220107T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36616435-3437-4361-b666-663039646238
DTSTAMP:20260824T065222Z
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:35303632-3835-4461-b863-303834326533
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220112T090000Z
DTEND:20220112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38623362-6631-4264-b463-613234336566
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220112T120000Z
DTEND:20220112T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38383065-3339-4037-a639-373535633136
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220113T150000Z
DTEND:20220113T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37383838-6533-4135-b134-643039303537
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220114T090000Z
DTEND:20220114T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62376631-6535-4234-b163-653336653235
DTSTAMP:20260824T065222Z
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:62643663-3161-4134-a433-363737663663
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220119T090000Z
DTEND:20220119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32663037-3531-4238-b937-326339646361
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220119T120000Z
DTEND:20220119T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36623863-3639-4333-b234-313261663961
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220120T150000Z
DTEND:20220120T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63363532-6531-4331-a236-373937383030
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220121T090000Z
DTEND:20220121T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33353738-3164-4638-b439-306561376663
DTSTAMP:20260824T065222Z
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:62343135-6139-4661-a332-346462396436
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220124T120000Z
DTEND:20220124T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64366539-6237-4464-b237-333237323030
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220126T090000Z
DTEND:20220126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64316435-3839-4631-a364-646362646336
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220127T150000Z
DTEND:20220127T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35353736-6336-4765-b063-633834643339
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220128T090000Z
DTEND:20220128T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38383231-3138-4837-b861-373732373635
DTSTAMP:20260824T065222Z
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:62643934-6336-4361-b362-626336663861
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220131T120000Z
DTEND:20220131T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33633836-3436-4237-a162-653339633562
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220202T090000Z
DTEND:20220202T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:62643134-3235-4839-b434-393136653539
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220203T150000Z
DTEND:20220203T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65353439-3531-4238-b436-373931636331
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220204T090000Z
DTEND:20220204T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36303832-6435-4263-a564-393039346237
DTSTAMP:20260824T065222Z
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:38383930-3830-4436-b464-623963393163
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220207T120000Z
DTEND:20220207T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30323039-3132-4935-b630-646162373562
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220209T090000Z
DTEND:20220209T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33653937-3631-4135-a565-663230353037
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220210T150000Z
DTEND:20220210T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39663266-6433-4565-a462-366132666566
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220211T090000Z
DTEND:20220211T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31386636-6338-4036-b061-363661393538
DTSTAMP:20260824T065222Z
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:65353031-3432-4337-b331-623731386162
DTSTAMP:20260824T065222Z
DESCRIPTION:
DTSTART:20220216T130000Z
DTEND:20220216T150000Z
LOCATION:Lecture Hall 003\, E1.3
SUMMARY:Endterm
END:VEVENT
END:VCALENDAR