BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:39373537-6462-4335-a330-386661636664
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:66303633-6531-4232-b336-613862343231
DTSTAMP:20260630T042212Z
DESCRIPTION:Session to demonstrate basic Coq/CoqIde features.
DTSTART:20210415T081500Z
DTEND:20210415T094500Z
SUMMARY:Icl: Coq WarmUp
END:VEVENT
BEGIN:VEVENT
UID:37646461-3365-4061-b364-643634663637
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210422T063000Z
DTEND:20210422T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33386230-3234-4764-b933-316630613761
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210422T081500Z
DTEND:20210422T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35303533-3132-4664-b933-376536633466
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210422T101500Z
DTEND:20210422T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65633538-3536-4934-b561-396333393031
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210429T063000Z
DTEND:20210429T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30666332-6266-4234-b938-663533306339
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210429T081500Z
DTEND:20210429T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65626464-3836-4362-b332-346364306563
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210429T101500Z
DTEND:20210429T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35306438-6361-4232-b237-333632363730
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210506T063000Z
DTEND:20210506T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31633865-3764-4236-b164-653432636662
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210506T081500Z
DTEND:20210506T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39633165-3334-4763-a266-336463646562
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210506T101500Z
DTEND:20210506T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30343866-6338-4031-a261-393230353931
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210520T063000Z
DTEND:20210520T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32306232-3661-4338-a564-613661323639
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210520T081500Z
DTEND:20210520T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66363339-3465-4438-b263-663933313866
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210520T101500Z
DTEND:20210520T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64663336-3132-4239-a261-323936393334
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210527T063000Z
DTEND:20210527T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33653662-3737-4061-b465-663733623031
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210527T081500Z
DTEND:20210527T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61356237-3039-4762-b964-656663343061
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210527T101500Z
DTEND:20210527T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31643539-6366-4231-b563-383566613830
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210610T063000Z
DTEND:20210610T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66343437-3364-4561-a430-396363353436
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210610T081500Z
DTEND:20210610T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36313161-3364-4961-b562-346239393633
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210610T101500Z
DTEND:20210610T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32366230-6433-4832-a538-353066623965
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210617T063000Z
DTEND:20210617T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66316430-6131-4665-a336-643730623137
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210617T081500Z
DTEND:20210617T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33386562-3738-4864-b430-353538376466
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210617T101500Z
DTEND:20210617T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39373963-3161-4863-a465-366566366439
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210624T063000Z
DTEND:20210624T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35333264-6630-4237-a565-653666666162
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210624T081500Z
DTEND:20210624T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30666436-3337-4733-a132-303532313131
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210624T101500Z
DTEND:20210624T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37666237-6164-4438-a334-313736626462
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210701T063000Z
DTEND:20210701T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61386435-6230-4439-b764-623665336132
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210701T081500Z
DTEND:20210701T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33376130-6331-4966-b333-326634613133
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210701T101500Z
DTEND:20210701T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61613137-6636-4532-b630-623232393636
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210708T063000Z
DTEND:20210708T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32656337-6661-4432-b165-316535623263
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210708T081500Z
DTEND:20210708T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36643333-3737-4539-b862-653766366666
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210708T101500Z
DTEND:20210708T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30343165-3139-4663-b138-336431626232
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210715T063000Z
DTEND:20210715T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30303738-3937-4939-a139-363535383137
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210715T081500Z
DTEND:20210715T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66343263-3564-4232-a365-613364366333
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210715T101500Z
DTEND:20210715T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62386237-3832-4139-b930-663535613637
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210722T063000Z
DTEND:20210722T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31663961-6362-4532-a133-313938323164
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210722T081500Z
DTEND:20210722T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64316139-3739-4831-b861-326265333063
DTSTAMP:20260630T042212Z
DESCRIPTION:
DTSTART:20210722T101500Z
DTEND:20210722T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
END:VCALENDAR