BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:38633238-3033-4661-a565-636336636562
X-WR-CALNAME:Semantics Calendar
X-WR-CALDESC:Events of the lecture Semantics
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:34353139-3137-4131-b263-356335303535
DTSTAMP:20260514T010506Z
DESCRIPTION:
DTSTART:20211021T140000Z
DTEND:20211021T160000Z
LOCATION:Online
SUMMARY:Warm-up Session
END:VEVENT
BEGIN:VEVENT
UID:65326439-6131-4430-b065-373764336236
DTSTAMP:20260514T010506Z
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:30366262-6566-4264-a461-643466373234
DTSTAMP:20260514T010506Z
DESCRIPTION:
DTSTART:20211027T110000Z
DTEND:20211027T130000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:32633335-6436-4433-a236-396236366665
DTSTAMP:20260514T010506Z
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:32333865-6633-4263-b061-613833316230
DTSTAMP:20260514T010506Z
DESCRIPTION:
DTSTART:20211103T120000Z
DTEND:20211103T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66663831-3763-4365-b866-383066643861
DTSTAMP:20260514T010506Z
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:32636635-6533-4437-b930-333630666262
DTSTAMP:20260514T010506Z
DESCRIPTION:
DTSTART:20211110T120000Z
DTEND:20211110T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:63376263-3061-4563-b364-656636656534
DTSTAMP:20260514T010506Z
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:64616639-6336-4466-b238-336266333939
DTSTAMP:20260514T010506Z
DESCRIPTION:
DTSTART:20211117T120000Z
DTEND:20211117T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66353936-3365-4662-a266-643330396463
DTSTAMP:20260514T010506Z
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:37663337-6164-4433-b435-343732326361
DTSTAMP:20260514T010506Z
DESCRIPTION:
DTSTART:20211124T120000Z
DTEND:20211124T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39626166-3434-4263-a232-623936623839
DTSTAMP:20260514T010506Z
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:34363966-3137-4461-b263-623536626132
DTSTAMP:20260514T010506Z
DESCRIPTION:
DTSTART:20211201T120000Z
DTEND:20211201T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:32396130-3939-4831-b033-313234653731
DTSTAMP:20260514T010506Z
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:35383432-6262-4061-b839-346632383233
DTSTAMP:20260514T010506Z
DESCRIPTION:
DTSTART:20211206T120000Z
DTEND:20211206T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:63386233-6665-4661-a532-663236343638
DTSTAMP:20260514T010506Z
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:64343763-3731-4062-b532-623661343135
DTSTAMP:20260514T010506Z
DESCRIPTION:
DTSTART:20211215T120000Z
DTEND:20211215T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37393037-6461-4636-b962-346636643361
DTSTAMP:20260514T010506Z
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:62623732-3861-4337-b463-343534623462
DTSTAMP:20260514T010506Z
DESCRIPTION:
DTSTART:20220105T120000Z
DTEND:20220105T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38393533-3738-4566-a435-663030323163
DTSTAMP:20260514T010506Z
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:64353161-6137-4266-a365-663230306161
DTSTAMP:20260514T010506Z
DESCRIPTION:
DTSTART:20220112T120000Z
DTEND:20220112T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:65313833-6664-4131-a239-373461373563
DTSTAMP:20260514T010506Z
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:34613466-3764-4437-b936-633566346235
DTSTAMP:20260514T010506Z
DESCRIPTION:
DTSTART:20220119T120000Z
DTEND:20220119T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62383365-3531-4663-b931-623437623065
DTSTAMP:20260514T010506Z
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:66336563-3033-4834-a261-613338356362
DTSTAMP:20260514T010506Z
DESCRIPTION:
DTSTART:20220124T120000Z
DTEND:20220124T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61316538-3066-4337-a135-316639396561
DTSTAMP:20260514T010506Z
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:62303732-3838-4837-a331-653437373436
DTSTAMP:20260514T010506Z
DESCRIPTION:
DTSTART:20220131T120000Z
DTEND:20220131T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66623438-3330-4764-b335-376130373639
DTSTAMP:20260514T010506Z
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:36653333-3932-4463-a265-343636333536
DTSTAMP:20260514T010506Z
DESCRIPTION:
DTSTART:20220207T120000Z
DTEND:20220207T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:62623365-3239-4663-b230-306130306265
DTSTAMP:20260514T010506Z
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
END:VCALENDAR