BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62656336-3039-4139-a332-306439633731
X-WR-CALNAME:Semantics Calendar
X-WR-CALDESC:Events of the lecture Semantics
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:33326166-3966-4436-a164-306437613632
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211020T080000Z
DTEND:20211020T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34653764-6134-4433-a634-626334383734
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211021T140000Z
DTEND:20211021T160000Z
LOCATION:Online
SUMMARY:Semantics: Warm-up Session
END:VEVENT
BEGIN:VEVENT
UID:61616563-3434-4637-a439-616364353464
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211022T080000Z
DTEND:20211022T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:32613463-6630-4139-b463-656338376536
DTSTAMP:20260804T024249Z
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:31616632-3566-4763-b435-316539356330
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211027T080000Z
DTEND:20211027T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34323638-6439-4565-a161-363034336564
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211027T110000Z
DTEND:20211027T130000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66333438-3030-4137-b565-373863666634
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211028T140000Z
DTEND:20211028T160000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65663266-6233-4362-b439-383062666636
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211029T080000Z
DTEND:20211029T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39623934-3532-4532-a438-666632303139
DTSTAMP:20260804T024249Z
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:64353934-6634-4534-b930-383136346638
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211103T090000Z
DTEND:20211103T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64313137-3438-4030-b232-356465323336
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211103T120000Z
DTEND:20211103T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38643636-3834-4432-a436-326439656162
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211104T150000Z
DTEND:20211104T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30646539-3137-4663-b863-666138306439
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211105T090000Z
DTEND:20211105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:30626334-6465-4731-b764-393734636466
DTSTAMP:20260804T024249Z
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:64333331-3765-4361-b464-656561303231
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211110T090000Z
DTEND:20211110T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34366238-6235-4131-b034-316564653039
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211110T120000Z
DTEND:20211110T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30303463-3763-4134-a364-636462626436
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211111T150000Z
DTEND:20211111T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61613539-3539-4131-b365-333935326266
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211112T090000Z
DTEND:20211112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:62393731-6230-4465-b863-643235623736
DTSTAMP:20260804T024249Z
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:36346631-3261-4565-a437-373966393864
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211117T090000Z
DTEND:20211117T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:39313138-3464-4633-b164-666432336463
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211117T120000Z
DTEND:20211117T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30636237-3933-4930-b064-386339656437
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211118T150000Z
DTEND:20211118T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61353935-3666-4730-a562-616337666439
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211119T090000Z
DTEND:20211119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65383136-6165-4032-a637-386233646363
DTSTAMP:20260804T024249Z
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:30363962-3937-4731-b164-363034353933
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211124T090000Z
DTEND:20211124T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65656136-3434-4264-a164-323661626532
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211124T120000Z
DTEND:20211124T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:63623132-6333-4030-a333-666630306530
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211125T150000Z
DTEND:20211125T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37623937-3664-4166-b331-643861346633
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211126T090000Z
DTEND:20211126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:65393963-3438-4837-a639-626562313964
DTSTAMP:20260804T024249Z
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:66663262-6464-4265-a362-616565653431
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211201T090000Z
DTEND:20211201T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:37336666-3538-4130-a366-666533396462
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211201T120000Z
DTEND:20211201T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36336137-6334-4234-b235-653162653265
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211202T150000Z
DTEND:20211202T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35383363-3338-4035-b131-393133366365
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211203T090000Z
DTEND:20211203T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:31366361-3261-4132-b364-656239643661
DTSTAMP:20260804T024249Z
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:65363630-6465-4238-b864-656637386663
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211206T120000Z
DTEND:20211206T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39616535-3032-4237-b330-313265386363
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63613930-3134-4636-b538-303361376138
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Lecture Hall 002\, E1.3
SUMMARY:Semantics: Midterm
END:VEVENT
BEGIN:VEVENT
UID:64653863-6632-4332-b436-346161313765
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211209T150000Z
DTEND:20211209T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62633732-3464-4661-b065-336239623533
DTSTAMP:20260804T024249Z
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:65633561-3762-4632-a132-626130663033
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211215T090000Z
DTEND:20211215T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63326230-6538-4733-b631-633962303934
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211215T120000Z
DTEND:20211215T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:31643439-3665-4232-b335-656638383338
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20211217T090000Z
DTEND:20211217T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:62333666-3666-4533-b733-396530343237
DTSTAMP:20260804T024249Z
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:66393536-6565-4533-b335-393261376436
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220105T090000Z
DTEND:20220105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:64306538-6263-4433-b034-656638663339
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220105T120000Z
DTEND:20220105T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:34323132-6537-4263-b834-633432303033
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220106T150000Z
DTEND:20220106T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64336361-3761-4933-b866-656536353362
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220107T090000Z
DTEND:20220107T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:36646336-6338-4437-a232-323938376435
DTSTAMP:20260804T024249Z
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:38653433-6236-4561-a462-366164373961
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220112T090000Z
DTEND:20220112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:35366433-6231-4138-b465-396132346339
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220112T120000Z
DTEND:20220112T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36336231-6238-4165-b632-353463373737
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220113T150000Z
DTEND:20220113T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32656465-6361-4836-b031-616261313630
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220114T090000Z
DTEND:20220114T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:33326563-6564-4131-b931-373764376636
DTSTAMP:20260804T024249Z
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:31303933-6261-4365-a534-653566393731
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220119T090000Z
DTEND:20220119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:61623633-6339-4339-b533-343263366665
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220119T120000Z
DTEND:20220119T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39646636-6137-4331-b861-313634616661
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220120T150000Z
DTEND:20220120T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30616537-3262-4238-b230-633731306466
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220121T090000Z
DTEND:20220121T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:63393632-6564-4462-b030-666238623364
DTSTAMP:20260804T024249Z
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:66643431-3135-4431-a463-346165323966
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220124T120000Z
DTEND:20220124T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39346538-3364-4364-b038-656130663763
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220126T090000Z
DTEND:20220126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:33636332-3731-4166-a134-393539343466
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220127T150000Z
DTEND:20220127T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61616432-6462-4666-a665-336133323831
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220128T090000Z
DTEND:20220128T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:34326362-3765-4963-a539-643031343638
DTSTAMP:20260804T024249Z
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:39626538-3436-4161-b438-663235663764
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220131T120000Z
DTEND:20220131T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36656161-3736-4565-a234-343536623730
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220202T090000Z
DTEND:20220202T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:66353061-3938-4564-b134-336166323936
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220203T150000Z
DTEND:20220203T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37323737-3731-4639-b465-623739383230
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220204T090000Z
DTEND:20220204T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:30343536-3062-4732-a161-356331393630
DTSTAMP:20260804T024249Z
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:62306431-3033-4232-a531-396434653363
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220207T120000Z
DTEND:20220207T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:31643730-3234-4130-b364-373235613262
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220209T090000Z
DTEND:20220209T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:36313264-3534-4234-a439-616434666637
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220210T150000Z
DTEND:20220210T170000Z
LOCATION:Online
SUMMARY:Semantics: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32336231-3339-4166-b339-366661666530
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220211T090000Z
DTEND:20220211T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Semantics: Lecture
END:VEVENT
BEGIN:VEVENT
UID:30646239-3637-4331-a366-313039313065
DTSTAMP:20260804T024249Z
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:62383663-3036-4364-b633-333335323839
DTSTAMP:20260804T024249Z
DESCRIPTION:
DTSTART:20220216T130000Z
DTEND:20220216T150000Z
LOCATION:Lecture Hall 003\, E1.3
SUMMARY:Semantics: Endterm
END:VEVENT
END:VCALENDAR