BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:65373833-6164-4335-b033-313163633932
X-WR-CALNAME:Semantics Calendar
X-WR-CALDESC:Events of the lecture Semantics
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:64656565-3764-4336-b864-613631623766
DTSTAMP:20261113T091903Z
DESCRIPTION:
DTSTART:20211021T140000Z
DTEND:20211021T160000Z
LOCATION:Online
SUMMARY:Warm-up Session
END:VEVENT
BEGIN:VEVENT
UID:35306162-6635-4739-b733-653539366264
DTSTAMP:20261113T091903Z
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:36363361-3635-4535-b262-653730306164
DTSTAMP:20261113T091903Z
DESCRIPTION:
DTSTART:20211027T110000Z
DTEND:20211027T130000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:63626263-3138-4535-a462-613838316534
DTSTAMP:20261113T091903Z
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:65333435-3233-4632-b662-663335356661
DTSTAMP:20261113T091903Z
DESCRIPTION:
DTSTART:20211103T120000Z
DTEND:20211103T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:66656535-6238-4837-a665-323866396338
DTSTAMP:20261113T091903Z
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:64636632-6564-4437-b334-353335383061
DTSTAMP:20261113T091903Z
DESCRIPTION:
DTSTART:20211110T120000Z
DTEND:20211110T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:63636231-3162-4364-a463-653161363535
DTSTAMP:20261113T091903Z
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:63666462-6364-4835-b938-633532336339
DTSTAMP:20261113T091903Z
DESCRIPTION:
DTSTART:20211117T120000Z
DTEND:20211117T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:39373535-6136-4938-b832-343035333839
DTSTAMP:20261113T091903Z
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:39616230-3730-4461-a338-636434616236
DTSTAMP:20261113T091903Z
DESCRIPTION:
DTSTART:20211124T120000Z
DTEND:20211124T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:63363634-3666-4461-b536-356531363862
DTSTAMP:20261113T091903Z
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:34653762-3865-4466-b361-306330376638
DTSTAMP:20261113T091903Z
DESCRIPTION:
DTSTART:20211201T120000Z
DTEND:20211201T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:37653039-6265-4161-a163-323962366465
DTSTAMP:20261113T091903Z
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:33393362-6162-4434-a439-636536393839
DTSTAMP:20261113T091903Z
DESCRIPTION:
DTSTART:20211206T120000Z
DTEND:20211206T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:32383530-6233-4636-a465-623065373935
DTSTAMP:20261113T091903Z
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:64636536-3262-4738-b539-313131373732
DTSTAMP:20261113T091903Z
DESCRIPTION:
DTSTART:20211215T120000Z
DTEND:20211215T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38386439-3035-4431-b639-626663626261
DTSTAMP:20261113T091903Z
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:66303862-6261-4463-b964-616635663139
DTSTAMP:20261113T091903Z
DESCRIPTION:
DTSTART:20220105T120000Z
DTEND:20220105T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:34323335-3733-4231-b031-666433383438
DTSTAMP:20261113T091903Z
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:64633163-3638-4439-a635-396431396565
DTSTAMP:20261113T091903Z
DESCRIPTION:
DTSTART:20220112T120000Z
DTEND:20220112T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:38343830-6265-4132-a433-363764343236
DTSTAMP:20261113T091903Z
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:33373737-3638-4636-b639-333034383936
DTSTAMP:20261113T091903Z
DESCRIPTION:
DTSTART:20220119T120000Z
DTEND:20220119T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:32656562-3531-4134-b139-333138353938
DTSTAMP:20261113T091903Z
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:61376661-3361-4534-b266-376639636538
DTSTAMP:20261113T091903Z
DESCRIPTION:
DTSTART:20220124T120000Z
DTEND:20220124T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:30393733-6631-4964-b235-303839643738
DTSTAMP:20261113T091903Z
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:63316432-6534-4363-b136-343035386463
DTSTAMP:20261113T091903Z
DESCRIPTION:
DTSTART:20220131T120000Z
DTEND:20220131T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:35383131-3433-4164-b063-623239316431
DTSTAMP:20261113T091903Z
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:63663162-3337-4366-b538-663136643032
DTSTAMP:20261113T091903Z
DESCRIPTION:
DTSTART:20220207T120000Z
DTEND:20220207T140000Z
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:61373630-3132-4966-a139-623664376663
DTSTAMP:20261113T091903Z
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