BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:33343833-6166-4065-b964-643561633165
X-WR-CALNAME:Semantics Calendar
X-WR-CALDESC:Events of the lecture Semantics
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:63623931-3536-4635-b235-353563383862
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211020T080000Z
DTEND:20211020T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65626161-6163-4364-a264-393433653531
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211021T140000Z
DTEND:20211021T160000Z
LOCATION:Online
SUMMARY:Semantics: Warm-up Session
END:VEVENT
BEGIN:VEVENT
UID:39396165-3031-4436-b663-646665646230
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211022T080000Z
DTEND:20211022T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:38663432-3564-4233-b734-656364623132
DTSTAMP:20260511T012117Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211022T110000Z
DTEND:20211022T130000Z
LOCATION:Online
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64666637-3932-4566-b239-383032643165
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211027T080000Z
DTEND:20211027T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:61393736-3434-4039-a634-666136663463
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211027T110000Z
DTEND:20211027T130000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36666663-3533-4835-b332-613734356165
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211028T140000Z
DTEND:20211028T160000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64663134-3962-4336-b063-376665626635
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211029T080000Z
DTEND:20211029T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34363564-6531-4236-b763-663966376666
DTSTAMP:20260511T012117Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211029T110000Z
DTEND:20211029T130000Z
LOCATION:Online
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62623763-6334-4136-a363-623162303833
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211103T090000Z
DTEND:20211103T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:62323062-3235-4433-b366-323935356636
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211103T120000Z
DTEND:20211103T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:34663235-6562-4361-b432-396132396464
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211104T150000Z
DTEND:20211104T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62646635-3838-4366-b130-626661613062
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211105T090000Z
DTEND:20211105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:37313765-3930-4232-a530-636535643135
DTSTAMP:20260511T012117Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211105T120000Z
DTEND:20211105T140000Z
LOCATION:Online
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33643036-3637-4339-b438-366361653537
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211110T090000Z
DTEND:20211110T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39313863-3364-4265-b037-353537303435
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211110T120000Z
DTEND:20211110T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62353930-3561-4336-a432-386536373332
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211111T150000Z
DTEND:20211111T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66663566-6531-4039-a366-663337356331
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211112T090000Z
DTEND:20211112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:37633431-3438-4764-b065-613736653236
DTSTAMP:20260511T012117Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211112T120000Z
DTEND:20211112T140000Z
LOCATION:Online
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39626531-6664-4233-a265-613430656538
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211117T090000Z
DTEND:20211117T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35636565-3131-4261-b362-633064356330
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211117T120000Z
DTEND:20211117T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61623837-3637-4330-b532-363266373238
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211118T150000Z
DTEND:20211118T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37643064-6532-4131-b932-313462336562
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211119T090000Z
DTEND:20211119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31656132-6466-4364-b064-623133646137
DTSTAMP:20260511T012117Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211119T120000Z
DTEND:20211119T140000Z
LOCATION:Online
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:34376535-3466-4062-b837-643130663430
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211124T090000Z
DTEND:20211124T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35393462-3066-4964-b136-663131343435
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211124T120000Z
DTEND:20211124T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39313236-6635-4932-a465-643833396263
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211125T150000Z
DTEND:20211125T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64636262-3363-4134-a661-373330666161
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211126T090000Z
DTEND:20211126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32333631-6430-4835-b065-616166373463
DTSTAMP:20260511T012117Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211126T120000Z
DTEND:20211126T140000Z
LOCATION:Online
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62376130-6662-4535-b235-383035303164
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211201T090000Z
DTEND:20211201T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:30663136-6665-4563-a666-386462646437
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211201T120000Z
DTEND:20211201T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66633834-3233-4136-b032-373164336266
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211202T150000Z
DTEND:20211202T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34303636-3731-4966-b563-376336656333
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211203T090000Z
DTEND:20211203T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:36313032-6164-4635-a238-306639343032
DTSTAMP:20260511T012117Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211203T120000Z
DTEND:20211203T140000Z
LOCATION:Online
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:31646562-3538-4266-a338-393532363032
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211206T120000Z
DTEND:20211206T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:63336262-6439-4661-a534-313834626431
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:61333565-3932-4032-b961-633237326238
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Lecture Hall 002\, E1.3
SUMMARY:Semantics: Midterm
END:VEVENT
BEGIN:VEVENT
UID:34646162-3137-4965-b838-323030303739
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211209T150000Z
DTEND:20211209T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39666463-3337-4533-b130-633034633462
DTSTAMP:20260511T012117Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211210T120000Z
DTEND:20211210T140000Z
LOCATION:Online
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37366334-6131-4562-a131-366365303534
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211215T090000Z
DTEND:20211215T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65623431-3665-4635-b633-613833663833
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211215T120000Z
DTEND:20211215T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36346533-6330-4638-b432-636334303861
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20211217T090000Z
DTEND:20211217T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32316565-3037-4366-b863-313334663239
DTSTAMP:20260511T012117Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211217T120000Z
DTEND:20211217T140000Z
LOCATION:Online
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33623538-3639-4264-b532-633239333163
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220105T090000Z
DTEND:20220105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39316361-3234-4631-b430-363831376537
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220105T120000Z
DTEND:20220105T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61353162-3766-4831-a465-616334643136
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220106T150000Z
DTEND:20220106T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34633633-3739-4064-a361-393866313663
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220107T090000Z
DTEND:20220107T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39346639-3830-4334-a665-656137313637
DTSTAMP:20260511T012117Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20220107T120000Z
DTEND:20220107T140000Z
LOCATION:Online
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:32626161-3262-4135-a266-346632653137
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220112T090000Z
DTEND:20220112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66363739-3431-4366-a238-323064393864
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220112T120000Z
DTEND:20220112T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38623235-6466-4332-b063-663037396464
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220113T150000Z
DTEND:20220113T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63343235-3139-4538-a436-343763346231
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220114T090000Z
DTEND:20220114T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:38376461-3961-4632-b563-366230306661
DTSTAMP:20260511T012117Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20220114T120000Z
DTEND:20220114T140000Z
LOCATION:Online
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37323238-3231-4939-b663-643363613734
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220119T090000Z
DTEND:20220119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34306362-3631-4435-b161-313862336236
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220119T120000Z
DTEND:20220119T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30306137-3964-4832-a235-363461383531
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220120T150000Z
DTEND:20220120T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37366464-3638-4036-a232-373130643763
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220121T090000Z
DTEND:20220121T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:33643665-3833-4434-b531-333435353563
DTSTAMP:20260511T012117Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20220121T120000Z
DTEND:20220121T140000Z
LOCATION:Online
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37393437-3262-4661-b836-643065303166
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220124T120000Z
DTEND:20220124T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37333761-3364-4162-b561-646263306632
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220126T090000Z
DTEND:20220126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64333366-6238-4338-a532-646664353039
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220127T150000Z
DTEND:20220127T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32383534-3333-4230-b831-343964306331
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220128T090000Z
DTEND:20220128T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65323530-6532-4666-b661-376161636432
DTSTAMP:20260511T012117Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20220128T120000Z
DTEND:20220128T140000Z
LOCATION:Online
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:31633934-3831-4134-b462-616233323561
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220131T120000Z
DTEND:20220131T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62616363-6661-4266-a165-656637363533
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220202T090000Z
DTEND:20220202T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:61366463-6332-4934-a436-333938343765
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220203T150000Z
DTEND:20220203T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62393238-6431-4339-a439-393239323361
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220204T090000Z
DTEND:20220204T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31373037-3932-4533-a333-626132626165
DTSTAMP:20260511T012117Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20220204T120000Z
DTEND:20220204T140000Z
LOCATION:Online
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36353135-3465-4836-b034-653132326261
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220207T120000Z
DTEND:20220207T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38323339-3933-4130-a566-643933653334
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220209T090000Z
DTEND:20220209T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66366332-6566-4535-a435-653430643836
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220210T150000Z
DTEND:20220210T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61393033-3638-4338-a137-383237613633
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220211T090000Z
DTEND:20220211T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35623139-3835-4231-a330-336165653035
DTSTAMP:20260511T012117Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20220211T120000Z
DTEND:20220211T140000Z
LOCATION:Online
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64626136-3832-4637-b238-623165366438
DTSTAMP:20260511T012117Z
DESCRIPTION:
DTSTART:20220216T130000Z
DTEND:20220216T150000Z
LOCATION:Lecture Hall 003\, E1.3
SUMMARY:Semantics: Endterm
END:VEVENT
END:VCALENDAR