BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:38353735-6666-4039-b165-633461323862
X-WR-CALNAME:Semantics Calendar
X-WR-CALDESC:Events of the lecture Semantics
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:35626130-6133-4430-b062-386136303432
DTSTAMP:20260603T022134Z
DESCRIPTION:
DTSTART:20211021T140000Z
DTEND:20211021T160000Z
LOCATION:Online
SUMMARY:Semantics: Warm-up Session
END:VEVENT
BEGIN:VEVENT
UID:33336338-6631-4932-b131-326530366664
DTSTAMP:20260603T022134Z
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:37626530-3930-4539-b639-346133383361
DTSTAMP:20260603T022134Z
DESCRIPTION:
DTSTART:20211027T110000Z
DTEND:20211027T130000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38333064-3366-4962-b031-636237343230
DTSTAMP:20260603T022134Z
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:34666136-3938-4336-b536-653631343464
DTSTAMP:20260603T022134Z
DESCRIPTION:
DTSTART:20211103T120000Z
DTEND:20211103T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36636163-6539-4431-a461-383737633365
DTSTAMP:20260603T022134Z
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:35633337-6439-4062-b264-333662363635
DTSTAMP:20260603T022134Z
DESCRIPTION:
DTSTART:20211110T120000Z
DTEND:20211110T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:33303131-6334-4563-b238-653633396666
DTSTAMP:20260603T022134Z
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:37326663-3063-4435-b236-303039616261
DTSTAMP:20260603T022134Z
DESCRIPTION:
DTSTART:20211117T120000Z
DTEND:20211117T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:34323465-3732-4238-a133-336164316234
DTSTAMP:20260603T022134Z
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:61306465-3564-4331-a464-616362316432
DTSTAMP:20260603T022134Z
DESCRIPTION:
DTSTART:20211124T120000Z
DTEND:20211124T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64306630-6565-4033-a430-643636396430
DTSTAMP:20260603T022134Z
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:34653966-3262-4463-a638-646530346237
DTSTAMP:20260603T022134Z
DESCRIPTION:
DTSTART:20211201T120000Z
DTEND:20211201T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66323566-3236-4333-b661-663464323562
DTSTAMP:20260603T022134Z
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:61643833-3366-4232-b165-306131363933
DTSTAMP:20260603T022134Z
DESCRIPTION:
DTSTART:20211206T120000Z
DTEND:20211206T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62383631-3963-4439-b262-373865653031
DTSTAMP:20260603T022134Z
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:31393931-3934-4638-b834-386532323565
DTSTAMP:20260603T022134Z
DESCRIPTION:
DTSTART:20211215T120000Z
DTEND:20211215T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:64393162-3534-4930-b637-316336306233
DTSTAMP:20260603T022134Z
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:64356131-3837-4138-b662-643735363633
DTSTAMP:20260603T022134Z
DESCRIPTION:
DTSTART:20220105T120000Z
DTEND:20220105T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61656533-3933-4933-b537-626638666237
DTSTAMP:20260603T022134Z
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:32376237-3362-4639-b531-663665353034
DTSTAMP:20260603T022134Z
DESCRIPTION:
DTSTART:20220112T120000Z
DTEND:20220112T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:35656361-6166-4732-b564-613762306463
DTSTAMP:20260603T022134Z
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:30646236-3862-4866-b365-323762306661
DTSTAMP:20260603T022134Z
DESCRIPTION:
DTSTART:20220119T120000Z
DTEND:20220119T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:31303038-3539-4239-b933-333036633236
DTSTAMP:20260603T022134Z
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:38626331-6161-4438-a464-396463653965
DTSTAMP:20260603T022134Z
DESCRIPTION:
DTSTART:20220124T120000Z
DTEND:20220124T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:36643632-3866-4934-b134-306534396236
DTSTAMP:20260603T022134Z
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:61663233-3438-4361-a230-356239346634
DTSTAMP:20260603T022134Z
DESCRIPTION:
DTSTART:20220131T120000Z
DTEND:20220131T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:65306461-6134-4538-b761-363665366238
DTSTAMP:20260603T022134Z
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:64633562-3630-4066-a266-346666313265
DTSTAMP:20260603T022134Z
DESCRIPTION:
DTSTART:20220207T120000Z
DTEND:20220207T140000Z
SUMMARY:Semantics: Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62396339-3361-4934-b463-613961626333
DTSTAMP:20260603T022134Z
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
END:VCALENDAR