BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:39383862-3462-4335-b162-313462386538
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:32626663-6161-4032-b034-303533333766
DTSTAMP:20260517T090403Z
DESCRIPTION:Session to demonstrate basic Coq/CoqIde features.
DTSTART:20210415T081500Z
DTEND:20210415T094500Z
SUMMARY:Coq WarmUp
END:VEVENT
BEGIN:VEVENT
UID:32393732-3163-4264-b861-376464396665
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210422T063000Z
DTEND:20210422T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37326565-3631-4430-b237-656430313431
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210422T081500Z
DTEND:20210422T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35386139-3632-4462-b233-323839626532
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210422T101500Z
DTEND:20210422T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39646136-6130-4032-a239-643334316236
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210429T063000Z
DTEND:20210429T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36633535-3930-4066-b032-383936306462
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210429T081500Z
DTEND:20210429T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30623737-3561-4132-b364-323761643933
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210429T101500Z
DTEND:20210429T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63666338-3633-4734-b431-353938336437
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210506T063000Z
DTEND:20210506T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36346434-6262-4133-b232-353833386631
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210506T081500Z
DTEND:20210506T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39323538-6433-4636-b536-366639623463
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210506T101500Z
DTEND:20210506T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35386463-6438-4438-b063-613637326265
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210520T063000Z
DTEND:20210520T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36623637-3535-4564-a232-383938326630
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210520T081500Z
DTEND:20210520T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62353439-3063-4566-b065-633562333532
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210520T101500Z
DTEND:20210520T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65366534-3461-4833-b365-333034303365
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210527T063000Z
DTEND:20210527T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63336634-6566-4534-b339-333563636162
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210527T081500Z
DTEND:20210527T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34633237-6664-4837-a339-326264383039
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210527T101500Z
DTEND:20210527T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65353663-3537-4531-b134-323864386638
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210610T063000Z
DTEND:20210610T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65643735-6364-4532-a334-363465623238
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210610T081500Z
DTEND:20210610T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65646337-6263-4337-b966-623164643033
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210610T101500Z
DTEND:20210610T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63306639-3666-4833-b531-653834616465
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210617T063000Z
DTEND:20210617T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39396238-3731-4761-b335-376663353364
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210617T081500Z
DTEND:20210617T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35373164-3433-4837-b662-363966646634
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210617T101500Z
DTEND:20210617T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31613538-6637-4136-b030-666438373562
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210624T063000Z
DTEND:20210624T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34393261-3034-4134-a238-386636306664
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210624T081500Z
DTEND:20210624T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38353938-6463-4132-b463-663039376436
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210624T101500Z
DTEND:20210624T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61363562-3338-4434-b463-306433336634
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210701T063000Z
DTEND:20210701T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37313337-3263-4735-b362-393630666362
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210701T081500Z
DTEND:20210701T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61383538-3662-4134-a236-653535343466
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210701T101500Z
DTEND:20210701T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64373963-3466-4433-b261-653335373262
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210708T063000Z
DTEND:20210708T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37343663-6431-4934-b830-363831386633
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210708T081500Z
DTEND:20210708T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62643232-3630-4138-b835-613761646633
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210708T101500Z
DTEND:20210708T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31616665-3763-4131-a266-613135613562
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210715T063000Z
DTEND:20210715T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36353534-3138-4838-a431-616662376330
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210715T081500Z
DTEND:20210715T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31363063-3232-4133-b464-663162373238
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210715T101500Z
DTEND:20210715T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62623261-6433-4562-a466-623063626662
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210722T063000Z
DTEND:20210722T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62656161-6536-4539-a532-323933316430
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210722T081500Z
DTEND:20210722T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61333963-3938-4233-b638-386433363831
DTSTAMP:20260517T090403Z
DESCRIPTION:
DTSTART:20210722T101500Z
DTEND:20210722T114500Z
SUMMARY:Tutorial
END:VEVENT
END:VCALENDAR