BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:32343237-6432-4062-a131-333438633264
X-WR-CALNAME:Semantics Calendar
X-WR-CALDESC:Events of the lecture Semantics
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:61343266-3631-4438-b463-633234646539
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211020T080000Z
DTEND:20211020T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35393437-6131-4265-a239-613630636161
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211021T140000Z
DTEND:20211021T160000Z
LOCATION:Online
SUMMARY:Semantics: Warm-up Session
END:VEVENT
BEGIN:VEVENT
UID:35373363-3937-4661-b034-666662383639
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211022T080000Z
DTEND:20211022T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:38663235-6235-4061-b438-663138316533
DTSTAMP:20260913T175040Z
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:39633132-3364-4166-b633-636465386134
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211027T080000Z
DTEND:20211027T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39643535-3136-4332-a262-646534376661
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211027T110000Z
DTEND:20211027T130000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66653836-3634-4936-b832-636232626137
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211028T140000Z
DTEND:20211028T160000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30316633-3063-4332-b532-353339303063
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211029T080000Z
DTEND:20211029T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:30393832-3235-4534-b436-653764346337
DTSTAMP:20260913T175040Z
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:62303064-3834-4364-b661-393139653233
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211103T090000Z
DTEND:20211103T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:30373264-6336-4133-a232-623335353430
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211103T120000Z
DTEND:20211103T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66363238-3039-4233-b632-336363636238
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211104T150000Z
DTEND:20211104T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61386532-6262-4539-b733-303530633231
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211105T090000Z
DTEND:20211105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35323133-3438-4436-b232-343530613235
DTSTAMP:20260913T175040Z
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:64383339-6366-4338-a531-666562323237
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211110T090000Z
DTEND:20211110T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:61633365-3662-4435-a336-666565346533
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211110T120000Z
DTEND:20211110T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37353566-3137-4363-b437-626137353139
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211111T150000Z
DTEND:20211111T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37306635-3264-4237-a539-323438353832
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211112T090000Z
DTEND:20211112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31396464-6534-4435-b131-616662333466
DTSTAMP:20260913T175040Z
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:30393864-6465-4833-b433-383164396564
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211117T090000Z
DTEND:20211117T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64303662-6133-4061-b566-623663353364
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211117T120000Z
DTEND:20211117T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:31383433-6435-4034-b062-646331626132
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211118T150000Z
DTEND:20211118T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33343230-3238-4237-b530-613864383934
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211119T090000Z
DTEND:20211119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:33643839-6363-4662-a361-323333623861
DTSTAMP:20260913T175040Z
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:63353564-3833-4937-b361-313432333830
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211124T090000Z
DTEND:20211124T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:33636537-3334-4032-b261-313231316166
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211124T120000Z
DTEND:20211124T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38623730-3637-4938-b961-376233353062
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211125T150000Z
DTEND:20211125T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33653535-6361-4238-a265-363330643163
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211126T090000Z
DTEND:20211126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63666239-6265-4134-b234-306362316365
DTSTAMP:20260913T175040Z
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:62666530-6266-4036-b139-333632353938
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211201T090000Z
DTEND:20211201T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:61653465-6339-4136-b965-363866386464
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211201T120000Z
DTEND:20211201T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33646565-6435-4239-b431-646133303131
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211202T150000Z
DTEND:20211202T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32353962-6337-4265-b536-666537663832
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211203T090000Z
DTEND:20211203T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32373165-3139-4236-a532-636238393133
DTSTAMP:20260913T175040Z
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:64633463-6237-4833-b666-316265373732
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211206T120000Z
DTEND:20211206T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66343365-3237-4534-b964-393336666166
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31306530-3039-4566-a431-366465363639
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Lecture Hall 002\, E1.3
SUMMARY:Semantics: Midterm
END:VEVENT
BEGIN:VEVENT
UID:31623136-6232-4531-b736-623465383735
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211209T150000Z
DTEND:20211209T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39633634-6430-4033-b533-626637303861
DTSTAMP:20260913T175040Z
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:65303434-3530-4032-a563-343736373461
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211215T090000Z
DTEND:20211215T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:36396532-6630-4639-b161-306532303832
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211215T120000Z
DTEND:20211215T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62623863-6363-4133-b530-333334323064
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20211217T090000Z
DTEND:20211217T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65373630-6136-4931-b532-303137336436
DTSTAMP:20260913T175040Z
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:32356564-6433-4662-a337-663736623663
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220105T090000Z
DTEND:20220105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:38633161-3638-4464-a236-613263383064
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220105T120000Z
DTEND:20220105T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66613930-6132-4261-a564-353735376566
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220106T150000Z
DTEND:20220106T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61626162-3832-4639-a237-663336396537
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220107T090000Z
DTEND:20220107T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:37323237-3663-4133-b532-313239636339
DTSTAMP:20260913T175040Z
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:65663638-6437-4038-b231-633537313966
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220112T090000Z
DTEND:20220112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39653038-3161-4631-a331-303563333531
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220112T120000Z
DTEND:20220112T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38643836-3161-4265-b132-626361363966
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220113T150000Z
DTEND:20220113T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32353031-3262-4335-b631-613539353662
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220114T090000Z
DTEND:20220114T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35393863-6136-4438-a435-316430346264
DTSTAMP:20260913T175040Z
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:32346534-3636-4230-a134-333834373834
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220119T090000Z
DTEND:20220119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32303235-3539-4230-a465-333835336237
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220119T120000Z
DTEND:20220119T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:31633363-3934-4538-b861-323732343666
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220120T150000Z
DTEND:20220120T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31356434-6537-4436-a162-336639633633
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220121T090000Z
DTEND:20220121T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35393432-3135-4536-b765-613433656337
DTSTAMP:20260913T175040Z
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:61633035-6537-4237-b737-353133643937
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220124T120000Z
DTEND:20220124T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30373763-3738-4234-b139-633961653130
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220126T090000Z
DTEND:20220126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39343137-3538-4633-b634-656433663465
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220127T150000Z
DTEND:20220127T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38306130-3065-4162-b964-393064326436
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220128T090000Z
DTEND:20220128T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65323333-6563-4539-a466-306166666661
DTSTAMP:20260913T175040Z
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:35383636-6231-4630-a431-663636303831
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220131T120000Z
DTEND:20220131T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36376538-3233-4638-b639-333662356265
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220202T090000Z
DTEND:20220202T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65626132-6632-4531-a531-333966616466
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220203T150000Z
DTEND:20220203T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36363334-3530-4134-a361-633439393230
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220204T090000Z
DTEND:20220204T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32386639-3366-4036-a336-636532663931
DTSTAMP:20260913T175040Z
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:61306661-3564-4430-a462-346130326132
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220207T120000Z
DTEND:20220207T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37646130-6438-4063-b231-646131393333
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220209T090000Z
DTEND:20220209T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65353431-3163-4563-b639-653330616339
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220210T150000Z
DTEND:20220210T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63643136-6139-4935-b031-323362316462
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220211T090000Z
DTEND:20220211T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66333961-3035-4434-b436-386434366631
DTSTAMP:20260913T175040Z
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:63356236-3735-4130-b564-623161316565
DTSTAMP:20260913T175040Z
DESCRIPTION:
DTSTART:20220216T130000Z
DTEND:20220216T150000Z
LOCATION:Lecture Hall 003\, E1.3
SUMMARY:Semantics: Endterm
END:VEVENT
END:VCALENDAR