BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:38626339-6364-4635-b866-346339333861
X-WR-CALNAME:Semantics Calendar
X-WR-CALDESC:Events of the lecture Semantics
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:37313062-3562-4738-a138-323031353835
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211020T080000Z
DTEND:20211020T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65663661-6561-4135-b365-323762383862
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211021T140000Z
DTEND:20211021T160000Z
LOCATION:Online
SUMMARY:Warm-up Session
END:VEVENT
BEGIN:VEVENT
UID:39373233-3439-4562-a334-383362326362
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211022T080000Z
DTEND:20211022T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64363539-3131-4831-b837-623835303762
DTSTAMP:20260603T022007Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211022T110000Z
DTEND:20211022T130000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61306661-6634-4532-b665-373865643037
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211027T080000Z
DTEND:20211027T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:63373462-3566-4466-a536-633238656632
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211027T110000Z
DTEND:20211027T130000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:35626264-6439-4166-b161-356435656631
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211028T140000Z
DTEND:20211028T160000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39363935-3465-4133-b263-386233313161
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211029T080000Z
DTEND:20211029T100000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61356434-6563-4831-a536-363865343739
DTSTAMP:20260603T022007Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211029T110000Z
DTEND:20211029T130000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:34363335-3531-4539-a633-656535353835
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211103T090000Z
DTEND:20211103T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32383930-3363-4762-b730-656261373932
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211103T120000Z
DTEND:20211103T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38306437-3930-4366-a534-303437333665
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211104T150000Z
DTEND:20211104T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32636265-3332-4531-a338-656139346264
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211105T090000Z
DTEND:20211105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35333934-6435-4162-b061-373338663266
DTSTAMP:20260603T022007Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211105T120000Z
DTEND:20211105T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33313063-3064-4332-a538-313033333562
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211110T090000Z
DTEND:20211110T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32363131-3736-4239-b432-633365376432
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211110T120000Z
DTEND:20211110T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:35353133-3339-4661-a333-636630323962
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211111T150000Z
DTEND:20211111T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33616432-3634-4665-b933-336134353634
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211112T090000Z
DTEND:20211112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:65396435-3965-4333-a431-633862656130
DTSTAMP:20260603T022007Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211112T120000Z
DTEND:20211112T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37646535-6130-4463-b839-356430656539
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211117T090000Z
DTEND:20211117T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31383335-6130-4132-b933-626531333166
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211117T120000Z
DTEND:20211117T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:32643735-6135-4637-b232-336435303365
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211118T150000Z
DTEND:20211118T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62353765-6134-4362-a539-363534636639
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211119T090000Z
DTEND:20211119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:38656632-3765-4166-b735-396364353136
DTSTAMP:20260603T022007Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211119T120000Z
DTEND:20211119T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62643062-3966-4630-b939-343765643764
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211124T090000Z
DTEND:20211124T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39316161-3034-4462-b632-363638393262
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211124T120000Z
DTEND:20211124T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37353164-6365-4763-b661-663363646633
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211125T150000Z
DTEND:20211125T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65663530-6331-4866-b730-393464366432
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211126T090000Z
DTEND:20211126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:34343863-3837-4737-b165-353932626266
DTSTAMP:20260603T022007Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211126T120000Z
DTEND:20211126T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37656535-3963-4461-b766-346466356336
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211201T090000Z
DTEND:20211201T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37623466-3631-4464-b130-393066323939
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211201T120000Z
DTEND:20211201T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66376130-3833-4336-a561-616464666134
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211202T150000Z
DTEND:20211202T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32326561-6565-4634-b066-346132313665
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211203T090000Z
DTEND:20211203T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:35373030-3330-4638-b964-323630656439
DTSTAMP:20260603T022007Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211203T120000Z
DTEND:20211203T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37323662-3934-4764-b664-613135613433
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211206T120000Z
DTEND:20211206T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30633063-3533-4933-a662-333934326666
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36306364-6433-4431-b837-643561303662
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211208T090000Z
DTEND:20211208T110000Z
LOCATION:Lecture Hall 002\, E1.3
SUMMARY:Midterm
END:VEVENT
BEGIN:VEVENT
UID:64616164-3331-4130-b837-653162663837
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211209T150000Z
DTEND:20211209T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37633362-6531-4561-b334-646433653735
DTSTAMP:20260603T022007Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211210T120000Z
DTEND:20211210T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38663361-6139-4361-b238-656261393132
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211215T090000Z
DTEND:20211215T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:39376137-3863-4238-b431-366464653935
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211215T120000Z
DTEND:20211215T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:65656532-6630-4063-b561-346265306631
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20211217T090000Z
DTEND:20211217T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33663864-3161-4630-a134-353236313537
DTSTAMP:20260603T022007Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20211217T120000Z
DTEND:20211217T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33393264-3064-4738-a631-636332653733
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220105T090000Z
DTEND:20220105T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:64663438-3139-4631-b036-613261666339
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220105T120000Z
DTEND:20220105T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:35623464-6136-4465-b236-303763663035
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220106T150000Z
DTEND:20220106T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64303330-3832-4364-a334-656139666261
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220107T090000Z
DTEND:20220107T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:32313036-3232-4962-a137-383931656232
DTSTAMP:20260603T022007Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20220107T120000Z
DTEND:20220107T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62353136-3665-4939-b866-363937626265
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220112T090000Z
DTEND:20220112T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:36346162-3232-4666-a430-626465323361
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220112T120000Z
DTEND:20220112T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:35353435-3162-4537-a136-643831343466
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220113T150000Z
DTEND:20220113T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39613532-3332-4366-b735-636531313137
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220114T090000Z
DTEND:20220114T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:30653139-3761-4661-a362-663234313738
DTSTAMP:20260603T022007Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20220114T120000Z
DTEND:20220114T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:31623434-3963-4835-a336-323338343962
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220119T090000Z
DTEND:20220119T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:31633463-6632-4162-b738-623162373961
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220119T120000Z
DTEND:20220119T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66663437-6136-4362-b661-393261623862
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220120T150000Z
DTEND:20220120T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33633162-3134-4630-b861-643732383238
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220121T090000Z
DTEND:20220121T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:33643934-3062-4964-b463-306133616563
DTSTAMP:20260603T022007Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20220121T120000Z
DTEND:20220121T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61666134-3232-4432-b335-333137613736
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220124T120000Z
DTEND:20220124T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38613262-3132-4938-b962-343539663933
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220126T090000Z
DTEND:20220126T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66353339-3761-4437-a233-303666333136
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220127T150000Z
DTEND:20220127T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66336665-3963-4239-a238-383435363932
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220128T090000Z
DTEND:20220128T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:37376633-6436-4537-b866-363665323462
DTSTAMP:20260603T022007Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20220128T120000Z
DTEND:20220128T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37303438-3064-4330-b362-316462616531
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220131T120000Z
DTEND:20220131T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:34313365-6539-4233-a532-343562396337
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220202T090000Z
DTEND:20220202T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61313930-6337-4361-b630-383838306636
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220203T150000Z
DTEND:20220203T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38623063-3465-4762-b065-643361353039
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220204T090000Z
DTEND:20220204T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:66656262-6463-4030-a565-363332366633
DTSTAMP:20260603T022007Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20220204T120000Z
DTEND:20220204T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:34393863-6331-4237-a230-343564366436
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220207T120000Z
DTEND:20220207T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39316163-6530-4363-b934-353738383035
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220209T090000Z
DTEND:20220209T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61356632-6438-4434-b338-623236616262
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220210T150000Z
DTEND:20220210T170000Z
LOCATION:Online
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37373864-3861-4964-a431-633166323238
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220211T090000Z
DTEND:20220211T110000Z
LOCATION:Hybrid (Zoom and Lecture Hall 002\, E1.3)
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:61613966-6565-4637-a332-363964326436
DTSTAMP:20260603T022007Z
DESCRIPTION:Office hour where we will go over the Coq development and you c
 an ask questions.
DTSTART:20220211T120000Z
DTEND:20220211T140000Z
LOCATION:Online
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39656239-6539-4536-a461-636438326139
DTSTAMP:20260603T022007Z
DESCRIPTION:
DTSTART:20220216T130000Z
DTEND:20220216T150000Z
LOCATION:Lecture Hall 003\, E1.3
SUMMARY:Endterm
END:VEVENT
END:VCALENDAR