BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:65616630-3663-4232-a361-643733353265
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:65643336-6338-4662-a436-333432656230
DTSTAMP:20261018T071657Z
DESCRIPTION:Session to demonstrate basic Coq/CoqIde features.
DTSTART:20210415T081500Z
DTEND:20210415T094500Z
SUMMARY:Coq WarmUp
END:VEVENT
BEGIN:VEVENT
UID:39366466-3836-4634-b066-373638636531
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210422T063000Z
DTEND:20210422T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34343137-3937-4132-b231-653966386161
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210422T081500Z
DTEND:20210422T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62383632-6262-4165-a433-613731366138
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210422T101500Z
DTEND:20210422T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36643535-3538-4635-a230-313030633566
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210429T063000Z
DTEND:20210429T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63363638-6363-4132-b032-643064663365
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210429T081500Z
DTEND:20210429T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36646364-3232-4463-a337-343265316539
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210429T101500Z
DTEND:20210429T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31366633-6132-4934-b234-396263636365
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210506T063000Z
DTEND:20210506T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66306439-3365-4339-b538-306637643963
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210506T081500Z
DTEND:20210506T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34356537-3866-4837-b835-333630613038
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210506T101500Z
DTEND:20210506T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35326432-3231-4166-b463-366464346638
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210520T063000Z
DTEND:20210520T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65633638-6566-4034-b737-326439663433
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210520T081500Z
DTEND:20210520T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36303566-3365-4330-b037-306264303031
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210520T101500Z
DTEND:20210520T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30633934-3062-4639-b133-626164633165
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210527T063000Z
DTEND:20210527T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37316535-6632-4032-b436-313233613964
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210527T081500Z
DTEND:20210527T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35633865-6465-4536-b361-323530366335
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210527T101500Z
DTEND:20210527T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65373666-3634-4734-b531-376566303361
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210610T063000Z
DTEND:20210610T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63663938-6232-4334-a636-616161366365
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210610T081500Z
DTEND:20210610T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33626434-3239-4132-a664-663034363863
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210610T101500Z
DTEND:20210610T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61373732-3961-4932-b466-613562663966
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210617T063000Z
DTEND:20210617T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36313462-3766-4034-b365-393738613439
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210617T081500Z
DTEND:20210617T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38306663-6531-4964-b161-383838383234
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210617T101500Z
DTEND:20210617T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62613635-6461-4831-a335-313935353138
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210624T063000Z
DTEND:20210624T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33653861-3963-4566-b239-366130306565
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210624T081500Z
DTEND:20210624T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36666566-6431-4964-b033-373032316262
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210624T101500Z
DTEND:20210624T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61656431-3236-4466-b532-366536643338
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210701T063000Z
DTEND:20210701T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35373838-6232-4330-b338-626162383263
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210701T081500Z
DTEND:20210701T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32666663-6237-4539-a662-653335346136
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210701T101500Z
DTEND:20210701T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65383664-6166-4562-a436-623037626335
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210708T063000Z
DTEND:20210708T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32306434-3363-4132-b862-333832613263
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210708T081500Z
DTEND:20210708T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33323537-3766-4235-b933-303334633164
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210708T101500Z
DTEND:20210708T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30663564-3137-4363-b337-303334653333
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210715T063000Z
DTEND:20210715T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61333861-6264-4138-b938-336137626635
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210715T081500Z
DTEND:20210715T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36653234-3432-4836-b065-386539663738
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210715T101500Z
DTEND:20210715T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39663665-6462-4633-b465-653463663638
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210722T063000Z
DTEND:20210722T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37623364-3130-4135-a533-393131373732
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210722T081500Z
DTEND:20210722T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33616331-6232-4033-b932-326338613831
DTSTAMP:20261018T071657Z
DESCRIPTION:
DTSTART:20210722T101500Z
DTEND:20210722T114500Z
SUMMARY:Tutorial
END:VEVENT
END:VCALENDAR