BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:37636364-3865-4665-a134-663335323638
X-WR-CALNAME:Introduction to Computational Logic Calendar
X-WR-CALDESC:Events of the lecture Introduction to Computational Logic
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:63396432-3935-4231-b630-313261346336
DTSTAMP:20260806T171747Z
DESCRIPTION:Session to demonstrate basic Coq/CoqIde features.
DTSTART:20210415T081500Z
DTEND:20210415T094500Z
SUMMARY:Icl: Coq WarmUp
END:VEVENT
BEGIN:VEVENT
UID:32363732-6334-4132-b562-363737323635
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210422T063000Z
DTEND:20210422T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34346139-3037-4633-a266-353437303133
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210422T081500Z
DTEND:20210422T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32306166-3935-4566-b065-326234666333
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210422T101500Z
DTEND:20210422T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36356233-6661-4133-b162-363632646430
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210429T063000Z
DTEND:20210429T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32343636-6463-4734-a432-356166356638
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210429T081500Z
DTEND:20210429T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62383532-6639-4063-b932-623638646238
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210429T101500Z
DTEND:20210429T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39633562-3661-4862-b466-383232646266
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210506T063000Z
DTEND:20210506T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61353336-3835-4663-b231-363332653465
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210506T081500Z
DTEND:20210506T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65343034-3766-4131-b864-356439353235
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210506T101500Z
DTEND:20210506T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37323932-3261-4535-b739-613233633633
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210520T063000Z
DTEND:20210520T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65626635-3030-4432-b733-643131303239
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210520T081500Z
DTEND:20210520T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38363463-3434-4363-b834-636337363038
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210520T101500Z
DTEND:20210520T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30663431-3535-4835-b039-616437353065
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210527T063000Z
DTEND:20210527T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34386636-6463-4165-b139-343263333234
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210527T081500Z
DTEND:20210527T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34356432-6134-4636-b730-353532383231
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210527T101500Z
DTEND:20210527T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36613736-3961-4338-a130-383766336631
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210610T063000Z
DTEND:20210610T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33366130-6335-4262-a538-643735616563
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210610T081500Z
DTEND:20210610T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62386435-6636-4264-b138-303961316637
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210610T101500Z
DTEND:20210610T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34663865-3361-4638-a334-386666376438
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210617T063000Z
DTEND:20210617T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35326461-6438-4232-b565-646566306534
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210617T081500Z
DTEND:20210617T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35653564-3237-4664-b565-623463316161
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210617T101500Z
DTEND:20210617T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63313363-6563-4138-a338-356462663463
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210624T063000Z
DTEND:20210624T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61363662-6365-4466-a534-633135336533
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210624T081500Z
DTEND:20210624T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63336335-3865-4061-b938-653634316436
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210624T101500Z
DTEND:20210624T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30356133-3666-4430-b437-633766633730
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210701T063000Z
DTEND:20210701T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36386365-3433-4063-b764-343936363862
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210701T081500Z
DTEND:20210701T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32323939-3665-4435-b230-663162613064
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210701T101500Z
DTEND:20210701T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63666237-3762-4463-a563-386639633734
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210708T063000Z
DTEND:20210708T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64366161-3765-4265-b561-366362663462
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210708T081500Z
DTEND:20210708T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64373732-3637-4865-b732-353534386333
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210708T101500Z
DTEND:20210708T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62623531-3430-4533-b166-343036356337
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210715T063000Z
DTEND:20210715T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62323833-3861-4531-b533-336562613438
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210715T081500Z
DTEND:20210715T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31313933-6164-4432-b231-336335663162
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210715T101500Z
DTEND:20210715T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32306333-3033-4030-a463-616639336333
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210722T063000Z
DTEND:20210722T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34653762-3832-4031-b237-346231633838
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210722T081500Z
DTEND:20210722T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35626363-3236-4363-b331-303931346363
DTSTAMP:20260806T171747Z
DESCRIPTION:
DTSTART:20210722T101500Z
DTEND:20210722T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
END:VCALENDAR