BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:64383432-6430-4633-b762-336461663161
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:35623039-3562-4761-a238-386564656361
DTSTAMP:20260606T225216Z
DESCRIPTION:Session to demonstrate basic Coq/CoqIde features.
DTSTART:20210415T081500Z
DTEND:20210415T094500Z
SUMMARY:Coq WarmUp
END:VEVENT
BEGIN:VEVENT
UID:33666330-6639-4537-b766-663265393539
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210422T063000Z
DTEND:20210422T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65363066-3564-4137-b933-656432616261
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210422T081500Z
DTEND:20210422T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38393362-3435-4762-a233-386262376564
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210422T101500Z
DTEND:20210422T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65373536-3434-4933-a134-323064353137
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210429T063000Z
DTEND:20210429T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33316130-3037-4436-b335-373838346137
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210429T081500Z
DTEND:20210429T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66666233-3264-4331-a231-376634326136
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210429T101500Z
DTEND:20210429T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34616431-6133-4230-b534-353835343637
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210506T063000Z
DTEND:20210506T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64646462-3661-4361-b366-653333663764
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210506T081500Z
DTEND:20210506T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39303965-6336-4637-b137-613735356135
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210506T101500Z
DTEND:20210506T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39333835-3839-4531-b531-343539646162
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210520T063000Z
DTEND:20210520T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37623130-3932-4835-b738-663535643863
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210520T081500Z
DTEND:20210520T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38333831-3763-4164-a432-643535353039
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210520T101500Z
DTEND:20210520T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66313134-3861-4033-b931-386338623835
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210527T063000Z
DTEND:20210527T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37663766-3065-4562-b764-616563643964
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210527T081500Z
DTEND:20210527T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31366637-3231-4233-b838-396437336665
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210527T101500Z
DTEND:20210527T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35313064-3030-4134-b737-656163333938
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210610T063000Z
DTEND:20210610T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32346664-6664-4233-a262-353066393035
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210610T081500Z
DTEND:20210610T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38643262-3564-4662-a464-386334663265
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210610T101500Z
DTEND:20210610T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33313634-3238-4365-a535-376138333432
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210617T063000Z
DTEND:20210617T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66663463-6463-4937-a639-626263336539
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210617T081500Z
DTEND:20210617T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35316662-6464-4139-b130-666437313361
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210617T101500Z
DTEND:20210617T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64323630-3735-4363-a165-613436356431
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210624T063000Z
DTEND:20210624T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65326135-3034-4661-b362-396633613566
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210624T081500Z
DTEND:20210624T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33663636-6339-4161-b363-306433303535
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210624T101500Z
DTEND:20210624T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32623261-6634-4730-b135-373663356532
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210701T063000Z
DTEND:20210701T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66333165-6330-4539-a235-316232386130
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210701T081500Z
DTEND:20210701T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37663966-3637-4761-b137-646365333833
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210701T101500Z
DTEND:20210701T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63346664-3836-4437-a135-343638343535
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210708T063000Z
DTEND:20210708T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63383630-3162-4632-a661-386435363830
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210708T081500Z
DTEND:20210708T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30343235-6661-4263-b334-326636383266
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210708T101500Z
DTEND:20210708T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39396462-3331-4065-b065-356139346634
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210715T063000Z
DTEND:20210715T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61356634-6139-4139-b164-366532656336
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210715T081500Z
DTEND:20210715T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34376338-3837-4763-a239-306632386236
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210715T101500Z
DTEND:20210715T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65666339-6465-4531-b837-336135393137
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210722T063000Z
DTEND:20210722T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61376365-6366-4664-a335-643738356638
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210722T081500Z
DTEND:20210722T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37346538-3761-4065-b566-643130303162
DTSTAMP:20260606T225216Z
DESCRIPTION:
DTSTART:20210722T101500Z
DTEND:20210722T114500Z
SUMMARY:Tutorial
END:VEVENT
END:VCALENDAR