BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:30636663-6264-4535-b430-373162313832
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:64613561-3363-4766-b630-343533373264
DTSTAMP:20260929T062423Z
DESCRIPTION:Session to demonstrate basic Coq/CoqIde features.
DTSTART:20210415T081500Z
DTEND:20210415T094500Z
SUMMARY:Coq WarmUp
END:VEVENT
BEGIN:VEVENT
UID:33316134-6336-4634-b363-306534303830
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210422T063000Z
DTEND:20210422T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38306564-6332-4566-b835-636433353831
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210422T081500Z
DTEND:20210422T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33313132-6339-4537-b534-643136306261
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210422T101500Z
DTEND:20210422T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63643531-3831-4332-a532-626663353938
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210429T063000Z
DTEND:20210429T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32333065-3133-4361-a566-303466666537
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210429T081500Z
DTEND:20210429T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38343935-3835-4131-a537-393634613232
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210429T101500Z
DTEND:20210429T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30303534-3936-4035-b032-333933353033
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210506T063000Z
DTEND:20210506T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35333164-3965-4663-a638-636463343537
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210506T081500Z
DTEND:20210506T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31353961-3263-4133-b664-303736663631
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210506T101500Z
DTEND:20210506T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30396138-3439-4865-b831-643133633164
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210520T063000Z
DTEND:20210520T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31343334-6237-4532-a633-363662323739
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210520T081500Z
DTEND:20210520T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36626464-3733-4230-a462-643366643465
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210520T101500Z
DTEND:20210520T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61666164-3330-4530-a463-326637313130
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210527T063000Z
DTEND:20210527T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36643134-3638-4438-b031-633531383535
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210527T081500Z
DTEND:20210527T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35363464-3261-4636-b031-353861316331
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210527T101500Z
DTEND:20210527T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38303561-6333-4535-b333-373061363864
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210610T063000Z
DTEND:20210610T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36636663-6563-4765-b262-643036636565
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210610T081500Z
DTEND:20210610T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36303734-6134-4330-a162-633336323763
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210610T101500Z
DTEND:20210610T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62356435-3432-4432-b231-636466393937
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210617T063000Z
DTEND:20210617T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66303764-3238-4665-b938-383636646431
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210617T081500Z
DTEND:20210617T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66646432-3466-4965-a133-663439313761
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210617T101500Z
DTEND:20210617T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37383664-3736-4862-b431-373134623438
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210624T063000Z
DTEND:20210624T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34326338-3863-4334-b130-396532656563
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210624T081500Z
DTEND:20210624T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39323464-6630-4336-b631-303362383466
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210624T101500Z
DTEND:20210624T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39663065-3333-4162-a163-643532353338
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210701T063000Z
DTEND:20210701T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36316537-3166-4534-a133-346234366439
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210701T081500Z
DTEND:20210701T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61393430-3264-4139-b066-333238323932
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210701T101500Z
DTEND:20210701T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65303163-3739-4139-a635-363836373836
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210708T063000Z
DTEND:20210708T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36616665-6533-4364-b830-653330386164
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210708T081500Z
DTEND:20210708T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34343838-3139-4637-a563-653830326438
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210708T101500Z
DTEND:20210708T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39306263-3131-4861-a366-316533303830
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210715T063000Z
DTEND:20210715T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38323965-3165-4465-b536-346237333734
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210715T081500Z
DTEND:20210715T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62316132-6239-4532-b463-636231363239
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210715T101500Z
DTEND:20210715T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34306266-3363-4561-b033-643731363430
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210722T063000Z
DTEND:20210722T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65373566-3830-4839-b133-383239393462
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210722T081500Z
DTEND:20210722T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61366631-6536-4532-a261-366233646366
DTSTAMP:20260929T062423Z
DESCRIPTION:
DTSTART:20210722T101500Z
DTEND:20210722T114500Z
SUMMARY:Tutorial
END:VEVENT
END:VCALENDAR