BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:31363430-3039-4365-b333-303132386633
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:32663463-6663-4431-b036-303934666339
DTSTAMP:20260717T103938Z
DESCRIPTION:Session to demonstrate basic Coq/CoqIde features.
DTSTART:20210415T081500Z
DTEND:20210415T094500Z
SUMMARY:Icl: Coq WarmUp
END:VEVENT
BEGIN:VEVENT
UID:66303435-3963-4566-b833-333430356132
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210422T063000Z
DTEND:20210422T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34363330-6661-4132-a439-383931613365
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210422T081500Z
DTEND:20210422T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36376365-3062-4537-a161-373662373966
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210422T101500Z
DTEND:20210422T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32363538-6639-4331-b030-646565326566
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210429T063000Z
DTEND:20210429T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31346636-3038-4037-b466-663537306466
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210429T081500Z
DTEND:20210429T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34326163-3764-4664-b239-633335653535
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210429T101500Z
DTEND:20210429T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63616531-3039-4733-b636-653632646136
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210506T063000Z
DTEND:20210506T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65343337-6163-4531-a238-663465636638
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210506T081500Z
DTEND:20210506T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39353533-3030-4561-b461-616231643838
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210506T101500Z
DTEND:20210506T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32313031-6166-4236-a536-326533333362
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210520T063000Z
DTEND:20210520T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35396637-3834-4135-a636-663530643833
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210520T081500Z
DTEND:20210520T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39313962-6663-4535-b463-643836326533
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210520T101500Z
DTEND:20210520T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38313930-3066-4434-b363-383632333863
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210527T063000Z
DTEND:20210527T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66336632-6634-4939-a132-613230646130
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210527T081500Z
DTEND:20210527T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62306165-3134-4462-b134-383363373937
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210527T101500Z
DTEND:20210527T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63333934-3039-4638-a230-396236626264
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210610T063000Z
DTEND:20210610T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37643735-3664-4962-a439-346234373463
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210610T081500Z
DTEND:20210610T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36656137-3237-4435-a664-646432306464
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210610T101500Z
DTEND:20210610T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37356439-3533-4265-a332-396434396162
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210617T063000Z
DTEND:20210617T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34623839-6131-4635-b664-666530326531
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210617T081500Z
DTEND:20210617T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37386333-3438-4536-a565-373866306333
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210617T101500Z
DTEND:20210617T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63626461-6632-4366-a265-663363313833
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210624T063000Z
DTEND:20210624T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64666631-3635-4532-b664-316462333065
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210624T081500Z
DTEND:20210624T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66316537-3739-4637-a362-623064643737
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210624T101500Z
DTEND:20210624T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32623062-6231-4339-a334-393637326264
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210701T063000Z
DTEND:20210701T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65343733-3862-4635-b363-643063623436
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210701T081500Z
DTEND:20210701T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35613033-6431-4961-b735-653833303534
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210701T101500Z
DTEND:20210701T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63313432-3137-4433-b938-623837303065
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210708T063000Z
DTEND:20210708T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34613733-3336-4333-b335-373937666537
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210708T081500Z
DTEND:20210708T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63653236-3235-4737-b534-346238313737
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210708T101500Z
DTEND:20210708T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31313061-3736-4564-b836-333737303930
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210715T063000Z
DTEND:20210715T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30643833-3862-4666-a336-366465393331
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210715T081500Z
DTEND:20210715T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33303834-3161-4931-b836-326631663362
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210715T101500Z
DTEND:20210715T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33366462-6435-4765-b839-353865623034
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210722T063000Z
DTEND:20210722T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36363737-3830-4433-a232-336239636564
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210722T081500Z
DTEND:20210722T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38666436-6164-4432-a334-373732383830
DTSTAMP:20260717T103938Z
DESCRIPTION:
DTSTART:20210722T101500Z
DTEND:20210722T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
END:VCALENDAR