BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.71//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:64353136-6136-4631-b765-323535336237
X-WR-CALNAME:Semantics Calendar
X-WR-CALDESC:Events of the lecture Semantics
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:65643038-3237-4165-b135-643131316534
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211020T080000Z
DTEND:20211020T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:30323936-3434-4335-a461-643536323938
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211021T140000Z
DTEND:20211021T160000Z
LOCATION:Online
SUMMARY:Semantics: Warm-up Session
END:VEVENT
BEGIN:VEVENT
UID:35353236-3837-4363-a539-386533393039
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211022T080000Z
DTEND:20211022T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31366366-6633-4664-b565-323962353132
DTSTAMP:20260407T112929Z
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:63333862-3739-4463-b065-623232363339
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211027T080000Z
DTEND:20211027T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31333438-3831-4632-a561-343462386336
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211027T110000Z
DTEND:20211027T130000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:35353535-6230-4766-b930-393763363665
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211028T140000Z
DTEND:20211028T160000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36303766-6336-4063-a139-393463386632
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211029T080000Z
DTEND:20211029T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63363735-6430-4263-a364-383932383838
DTSTAMP:20260407T112929Z
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:37636132-3334-4765-b233-313466343232
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211103T090000Z
DTEND:20211103T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31646136-3738-4937-a239-373036356438
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211103T120000Z
DTEND:20211103T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39343033-6363-4633-a331-366334383362
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211104T150000Z
DTEND:20211104T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64356138-6663-4137-b464-633165623563
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211105T090000Z
DTEND:20211105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32653533-3062-4033-a139-316632316266
DTSTAMP:20260407T112929Z
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:61346438-3131-4164-a135-383861613466
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211110T090000Z
DTEND:20211110T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31306139-6433-4462-a335-316330613339
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211110T120000Z
DTEND:20211110T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30306531-3166-4338-b363-633163623964
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211111T150000Z
DTEND:20211111T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64373333-6461-4162-b566-366561653964
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211112T090000Z
DTEND:20211112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34366330-3935-4633-a230-386564396331
DTSTAMP:20260407T112929Z
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:32656662-3230-4866-b435-303938316463
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211117T090000Z
DTEND:20211117T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32643135-6438-4962-b434-303165663264
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211117T120000Z
DTEND:20211117T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64333830-3233-4636-b737-353961643136
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211118T150000Z
DTEND:20211118T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30326130-3734-4236-b435-656434323739
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211119T090000Z
DTEND:20211119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:62316231-6136-4365-a361-343265666638
DTSTAMP:20260407T112929Z
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:62613632-3832-4337-b233-643361353634
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211124T090000Z
DTEND:20211124T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65376264-3232-4737-b234-653262383834
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211124T120000Z
DTEND:20211124T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33656337-6131-4339-a437-386565313063
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211125T150000Z
DTEND:20211125T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39323261-3930-4638-b339-343139623639
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211126T090000Z
DTEND:20211126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39316134-3731-4632-a262-366232333837
DTSTAMP:20260407T112929Z
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:64613061-6366-4661-a537-383336303564
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211201T090000Z
DTEND:20211201T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63666635-3834-4234-a664-653263376538
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211201T120000Z
DTEND:20211201T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36613262-3061-4030-b139-366363356638
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211202T150000Z
DTEND:20211202T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34663565-6462-4861-b433-313636363766
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211203T090000Z
DTEND:20211203T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:33643134-3236-4363-b965-656238313732
DTSTAMP:20260407T112929Z
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:62383563-3935-4561-b335-373862396336
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211206T120000Z
DTEND:20211206T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64343462-6563-4539-a436-333633313636
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31376562-6562-4338-a431-376235333136
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Lecture Hall 002\, E1.3
SUMMARY:Semantics: Midterm
END:VEVENT
BEGIN:VEVENT
UID:37303630-3266-4837-b965-333931313232
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211209T150000Z
DTEND:20211209T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63373066-3930-4636-a435-333232333136
DTSTAMP:20260407T112929Z
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:38383362-3630-4531-a131-336666316135
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211215T090000Z
DTEND:20211215T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63623338-3030-4633-b766-653135643134
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211215T120000Z
DTEND:20211215T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39626337-3937-4635-b938-323562313931
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20211217T090000Z
DTEND:20211217T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35343361-3139-4832-a633-616162386461
DTSTAMP:20260407T112929Z
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:65656565-6365-4030-b734-326562303133
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220105T090000Z
DTEND:20220105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:37303433-3338-4538-a231-616232393262
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220105T120000Z
DTEND:20220105T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:32333361-6634-4933-b330-383835353335
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220106T150000Z
DTEND:20220106T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61343436-3435-4438-b662-383265353338
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220107T090000Z
DTEND:20220107T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34613064-3131-4032-a337-626663303334
DTSTAMP:20260407T112929Z
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:66343938-6230-4535-b764-653030393631
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220112T090000Z
DTEND:20220112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34333561-6436-4138-a565-363830396563
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220112T120000Z
DTEND:20220112T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:31313236-6335-4739-a261-396661356439
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220113T150000Z
DTEND:20220113T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39333237-6566-4561-a666-636163346231
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220114T090000Z
DTEND:20220114T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35656234-6162-4965-a666-383737353834
DTSTAMP:20260407T112929Z
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:38636236-3235-4363-a637-653337646663
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220119T090000Z
DTEND:20220119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31656664-3932-4639-b261-653038363232
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220119T120000Z
DTEND:20220119T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:34363434-6363-4034-a562-636537653662
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220120T150000Z
DTEND:20220120T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38626333-3964-4234-b538-363063656136
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220121T090000Z
DTEND:20220121T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:62366337-3564-4133-b139-623364643538
DTSTAMP:20260407T112929Z
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:61633639-3431-4161-b165-366365623531
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220124T120000Z
DTEND:20220124T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:65333563-6136-4166-b935-393964386332
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220126T090000Z
DTEND:20220126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32366436-3533-4537-a465-633961663839
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220127T150000Z
DTEND:20220127T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36656362-6637-4030-a234-393236306636
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220128T090000Z
DTEND:20220128T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:61353733-6166-4036-a234-613932343761
DTSTAMP:20260407T112929Z
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:31323136-3233-4833-b264-326330346431
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220131T120000Z
DTEND:20220131T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66656239-3562-4238-b963-326333613966
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220202T090000Z
DTEND:20220202T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63616564-3164-4330-a230-656431373135
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220203T150000Z
DTEND:20220203T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36346338-6332-4336-a164-303537323233
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220204T090000Z
DTEND:20220204T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32383239-3638-4234-b036-303734636639
DTSTAMP:20260407T112929Z
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:65653330-6233-4964-a338-666636336432
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220207T120000Z
DTEND:20220207T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33356435-3766-4334-b964-363633626439
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220209T090000Z
DTEND:20220209T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32363833-3832-4066-b639-336535393337
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220210T150000Z
DTEND:20220210T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64373130-3330-4330-a639-393466366533
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220211T090000Z
DTEND:20220211T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:62383833-3861-4862-b632-363663333538
DTSTAMP:20260407T112929Z
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:36323335-3461-4361-a636-663166326364
DTSTAMP:20260407T112929Z
DESCRIPTION:
DTSTART:20220216T130000Z
DTEND:20220216T150000Z
LOCATION:Lecture Hall 003\, E1.3
SUMMARY:Semantics: Endterm
END:VEVENT
END:VCALENDAR