BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:64376664-6335-4837-b835-396235626162
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:64383930-3065-4165-a535-373430643361
DTSTAMP:20260629T235900Z
DESCRIPTION:Session to demonstrate basic Coq/CoqIde features.
DTSTART:20210415T081500Z
DTEND:20210415T094500Z
SUMMARY:Icl: Coq WarmUp
END:VEVENT
BEGIN:VEVENT
UID:34303737-3862-4962-b364-323961346364
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210422T063000Z
DTEND:20210422T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61343735-6639-4663-b563-346337383062
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210422T081500Z
DTEND:20210422T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33343235-3635-4363-b032-663164316539
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210422T101500Z
DTEND:20210422T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63633039-6432-4931-b961-663666623162
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210429T063000Z
DTEND:20210429T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36383935-6637-4064-a330-616133663236
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210429T081500Z
DTEND:20210429T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37623234-6130-4236-a633-383463323636
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210429T101500Z
DTEND:20210429T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65393535-3661-4134-b538-626163356635
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210506T063000Z
DTEND:20210506T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30663034-6465-4034-b166-323435333566
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210506T081500Z
DTEND:20210506T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35356662-3166-4462-a463-633935303033
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210506T101500Z
DTEND:20210506T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37363138-3961-4738-a361-363230326231
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210520T063000Z
DTEND:20210520T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63653337-6635-4064-b732-643939323036
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210520T081500Z
DTEND:20210520T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65323437-3336-4161-a161-636430346537
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210520T101500Z
DTEND:20210520T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65633831-6662-4462-b264-366164306235
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210527T063000Z
DTEND:20210527T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64343235-3733-4062-a266-333161353464
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210527T081500Z
DTEND:20210527T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35373032-6137-4364-b464-666430653034
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210527T101500Z
DTEND:20210527T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31316538-6434-4335-b538-373831393964
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210610T063000Z
DTEND:20210610T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34393066-6264-4662-b733-393263626163
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210610T081500Z
DTEND:20210610T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35353335-6637-4565-a135-376631393666
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210610T101500Z
DTEND:20210610T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30393265-6661-4361-b862-636563656461
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210617T063000Z
DTEND:20210617T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39656132-3236-4331-a665-303539646662
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210617T081500Z
DTEND:20210617T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30366366-3163-4638-b662-333137383161
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210617T101500Z
DTEND:20210617T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64373361-6536-4661-a662-333430613465
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210624T063000Z
DTEND:20210624T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39373263-3033-4734-a165-626266623162
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210624T081500Z
DTEND:20210624T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34656239-3065-4063-b064-653762326436
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210624T101500Z
DTEND:20210624T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62643234-6462-4665-b132-636161616334
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210701T063000Z
DTEND:20210701T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31623735-6536-4938-a338-623638393732
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210701T081500Z
DTEND:20210701T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32343635-3039-4633-a466-333932646165
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210701T101500Z
DTEND:20210701T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32663363-3665-4562-b263-373633373938
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210708T063000Z
DTEND:20210708T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66323832-6663-4432-b337-653162613435
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210708T081500Z
DTEND:20210708T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63396133-6131-4431-a230-666161316532
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210708T101500Z
DTEND:20210708T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34663839-3166-4564-b232-363766336432
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210715T063000Z
DTEND:20210715T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30343337-3362-4066-b933-386462346339
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210715T081500Z
DTEND:20210715T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39633439-3539-4164-b537-313163383166
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210715T101500Z
DTEND:20210715T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64666130-6136-4539-a530-613138626436
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210722T063000Z
DTEND:20210722T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38346266-3138-4137-b334-623535366164
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210722T081500Z
DTEND:20210722T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32653862-3364-4337-b662-383332323136
DTSTAMP:20260629T235900Z
DESCRIPTION:
DTSTART:20210722T101500Z
DTEND:20210722T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
END:VCALENDAR