BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:31623465-6132-4465-b432-613332303732
X-WR-CALNAME:Semantics Calendar
X-WR-CALDESC:Events of the lecture Semantics
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:37363132-3366-4432-b934-666665653030
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211020T080000Z
DTEND:20211020T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66333333-6133-4864-b464-313066393366
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211021T140000Z
DTEND:20211021T160000Z
LOCATION:Online
SUMMARY:Semantics: Warm-up Session
END:VEVENT
BEGIN:VEVENT
UID:64636636-3366-4030-a233-313465373138
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211022T080000Z
DTEND:20211022T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64386263-6163-4736-a333-633433613932
DTSTAMP:20260824T080012Z
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:31643134-6631-4665-b135-373034363132
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211027T080000Z
DTEND:20211027T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35636430-3464-4066-b466-383762303063
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211027T110000Z
DTEND:20211027T130000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39323131-3063-4830-b633-386165646661
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211028T140000Z
DTEND:20211028T160000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62386234-6138-4232-b861-646162376639
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211029T080000Z
DTEND:20211029T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66623331-6431-4235-b663-313666376538
DTSTAMP:20260824T080012Z
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:33353138-3637-4564-b161-656636313333
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211103T090000Z
DTEND:20211103T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66353262-3034-4338-b537-643938386534
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211103T120000Z
DTEND:20211103T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39343032-6239-4465-b562-383766353062
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211104T150000Z
DTEND:20211104T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66336261-3239-4137-b739-303033663439
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211105T090000Z
DTEND:20211105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66343066-6636-4339-b366-336531643865
DTSTAMP:20260824T080012Z
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:32396561-6237-4137-b435-376330383765
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211110T090000Z
DTEND:20211110T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39383461-3265-4635-b337-326133633139
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211110T120000Z
DTEND:20211110T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:65366235-6333-4139-b035-356166303631
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211111T150000Z
DTEND:20211111T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66336562-6231-4132-b032-303139383666
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211112T090000Z
DTEND:20211112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:38306166-3035-4435-b362-323638306237
DTSTAMP:20260824T080012Z
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:33366363-3162-4634-a333-643331383764
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211117T090000Z
DTEND:20211117T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32356665-6165-4263-a462-336331636634
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211117T120000Z
DTEND:20211117T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:34346432-6439-4461-a230-616233343231
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211118T150000Z
DTEND:20211118T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66326232-3536-4832-b034-326164373038
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211119T090000Z
DTEND:20211119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65353264-6463-4639-b135-613466623163
DTSTAMP:20260824T080012Z
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:62383862-6337-4633-b163-663235656638
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211124T090000Z
DTEND:20211124T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:38613831-6565-4238-b765-313335353639
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211124T120000Z
DTEND:20211124T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:35333166-3937-4630-b633-623564646534
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211125T150000Z
DTEND:20211125T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66366130-3864-4064-b139-656437626530
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211126T090000Z
DTEND:20211126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:36383963-3530-4032-b864-636433363339
DTSTAMP:20260824T080012Z
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:34303261-6531-4366-a533-623532303139
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211201T090000Z
DTEND:20211201T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34343636-3438-4261-b538-346132323261
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211201T120000Z
DTEND:20211201T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33376335-3938-4865-b261-383064393230
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211202T150000Z
DTEND:20211202T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63623030-6162-4434-a536-623833363432
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211203T090000Z
DTEND:20211203T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:61373864-3638-4938-b761-626538626331
DTSTAMP:20260824T080012Z
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:62363934-3939-4765-b566-636464303030
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211206T120000Z
DTEND:20211206T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38663735-3563-4364-b065-363236316634
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:61376530-3165-4638-b333-396461313533
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Lecture Hall 002\, E1.3
SUMMARY:Semantics: Midterm
END:VEVENT
BEGIN:VEVENT
UID:64306666-3431-4565-b238-343538376235
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211209T150000Z
DTEND:20211209T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66653161-3165-4336-b435-393135303466
DTSTAMP:20260824T080012Z
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:30656337-3365-4433-b064-306531396532
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211215T090000Z
DTEND:20211215T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64336333-6631-4330-a461-643232646663
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211215T120000Z
DTEND:20211215T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64633066-3439-4561-b936-656431373537
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20211217T090000Z
DTEND:20211217T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31373831-3861-4565-a464-393933316532
DTSTAMP:20260824T080012Z
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:65313363-3937-4232-a233-643762313362
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220105T090000Z
DTEND:20220105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:33626432-6465-4433-a436-636530633165
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220105T120000Z
DTEND:20220105T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:32373662-6335-4433-a339-333639616236
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220106T150000Z
DTEND:20220106T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31333439-3032-4061-a165-636134396566
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220107T090000Z
DTEND:20220107T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:62343365-6232-4165-b337-326236356330
DTSTAMP:20260824T080012Z
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:30643531-6234-4234-a639-336464626161
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220112T090000Z
DTEND:20220112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:36633662-6637-4033-a337-373536393331
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220112T120000Z
DTEND:20220112T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64666134-3533-4135-a666-336239336161
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220113T150000Z
DTEND:20220113T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64363734-3964-4665-a338-343737303732
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220114T090000Z
DTEND:20220114T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63303135-3630-4363-b632-616133383930
DTSTAMP:20260824T080012Z
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:64653565-3064-4531-a135-623934653263
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220119T090000Z
DTEND:20220119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66396563-6461-4133-a565-396665323639
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220119T120000Z
DTEND:20220119T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37306439-3534-4739-b739-373536633735
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220120T150000Z
DTEND:20220120T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64633064-3666-4331-b634-643263316563
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220121T090000Z
DTEND:20220121T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35343538-3130-4633-b761-303336373364
DTSTAMP:20260824T080012Z
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:63646138-6138-4134-b033-393865613365
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220124T120000Z
DTEND:20220124T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:32316530-3733-4664-a431-663563323730
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220126T090000Z
DTEND:20220126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31656266-6561-4234-b162-623333343633
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220127T150000Z
DTEND:20220127T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34363964-3463-4361-a536-656165383932
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220128T090000Z
DTEND:20220128T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31623232-3830-4235-a232-386462656162
DTSTAMP:20260824T080012Z
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:63316661-3435-4466-a531-663331373962
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220131T120000Z
DTEND:20220131T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:63633035-3761-4533-a334-363237393139
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220202T090000Z
DTEND:20220202T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:62383233-3830-4339-a631-666434633062
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220203T150000Z
DTEND:20220203T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34386337-6330-4463-b635-343763333939
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220204T090000Z
DTEND:20220204T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:37643261-3735-4538-b639-313037366664
DTSTAMP:20260824T080012Z
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:32356464-3530-4439-b664-393539383864
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220207T120000Z
DTEND:20220207T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:31386531-6433-4731-a165-313439353938
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220209T090000Z
DTEND:20220209T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:30333639-3135-4436-b139-656631613639
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220210T150000Z
DTEND:20220210T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36386465-3932-4634-a234-353061353732
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220211T090000Z
DTEND:20220211T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34366337-6636-4731-a130-653439303131
DTSTAMP:20260824T080012Z
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:38396562-3232-4462-a436-303063373931
DTSTAMP:20260824T080012Z
DESCRIPTION:
DTSTART:20220216T130000Z
DTEND:20220216T150000Z
LOCATION:Lecture Hall 003\, E1.3
SUMMARY:Semantics: Endterm
END:VEVENT
END:VCALENDAR