BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:36376464-6630-4264-a463-623462363335
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:61316238-3533-4263-a335-653365396362
DTSTAMP:20260717T103959Z
DESCRIPTION:Session to demonstrate basic Coq/CoqIde features.
DTSTART:20210415T081500Z
DTEND:20210415T094500Z
SUMMARY:Coq WarmUp
END:VEVENT
BEGIN:VEVENT
UID:31306339-3639-4430-b935-363463303539
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210422T063000Z
DTEND:20210422T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62306238-3838-4632-b639-316236373932
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210422T081500Z
DTEND:20210422T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32343030-3966-4233-b264-626365636637
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210422T101500Z
DTEND:20210422T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32633036-3565-4531-a365-373365333135
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210429T063000Z
DTEND:20210429T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33633736-3561-4561-a236-393762306439
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210429T081500Z
DTEND:20210429T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34323534-6261-4530-b662-346336303437
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210429T101500Z
DTEND:20210429T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34653837-3837-4563-b763-656535396639
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210506T063000Z
DTEND:20210506T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39336161-6538-4661-b134-646532643936
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210506T081500Z
DTEND:20210506T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66643365-6463-4661-b264-376536626533
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210506T101500Z
DTEND:20210506T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37386439-6661-4838-a135-626130396339
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210520T063000Z
DTEND:20210520T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31653465-6664-4136-b763-303164306362
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210520T081500Z
DTEND:20210520T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63313163-3363-4130-a535-323033636339
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210520T101500Z
DTEND:20210520T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65306230-6336-4332-a435-316463313634
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210527T063000Z
DTEND:20210527T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32663461-6463-4235-b762-623939626130
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210527T081500Z
DTEND:20210527T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31623235-3962-4630-b435-613232356536
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210527T101500Z
DTEND:20210527T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32656562-6533-4432-a636-353630613565
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210610T063000Z
DTEND:20210610T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63376533-3639-4461-a638-653435353264
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210610T081500Z
DTEND:20210610T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36396130-3330-4262-b336-336462613138
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210610T101500Z
DTEND:20210610T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63633631-3138-4430-b066-326466373830
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210617T063000Z
DTEND:20210617T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38303466-6334-4962-b634-366236386639
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210617T081500Z
DTEND:20210617T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61623761-3962-4935-b135-613164303765
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210617T101500Z
DTEND:20210617T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65663732-3862-4839-a232-646139303030
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210624T063000Z
DTEND:20210624T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63633534-3732-4834-b762-323064366330
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210624T081500Z
DTEND:20210624T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64356132-3966-4531-b035-343165613439
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210624T101500Z
DTEND:20210624T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32393435-3930-4263-a235-613737616464
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210701T063000Z
DTEND:20210701T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64653730-3634-4363-b935-666339333566
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210701T081500Z
DTEND:20210701T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39616265-6132-4239-a533-623964383833
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210701T101500Z
DTEND:20210701T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39376434-3535-4338-b736-303161323232
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210708T063000Z
DTEND:20210708T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66346336-6266-4734-b130-356466356439
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210708T081500Z
DTEND:20210708T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34636661-3039-4236-b336-366432616266
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210708T101500Z
DTEND:20210708T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31363430-3361-4130-a538-353733323035
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210715T063000Z
DTEND:20210715T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64623066-6134-4263-b737-636438336165
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210715T081500Z
DTEND:20210715T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37326464-3362-4431-b631-636535633131
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210715T101500Z
DTEND:20210715T114500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30366363-6634-4430-a565-613834626234
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210722T063000Z
DTEND:20210722T080000Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38656332-6664-4665-a235-613535336431
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210722T081500Z
DTEND:20210722T094500Z
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62636430-6533-4139-a333-663864653335
DTSTAMP:20260717T103959Z
DESCRIPTION:
DTSTART:20210722T101500Z
DTEND:20210722T114500Z
SUMMARY:Tutorial
END:VEVENT
END:VCALENDAR