BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:35366330-6437-4463-a538-303466316434
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:65386638-3830-4565-b630-663236306166
DTSTAMP:20261108T112505Z
DESCRIPTION:Session to demonstrate basic Coq/CoqIde features.
DTSTART:20210415T081500Z
DTEND:20210415T094500Z
SUMMARY:Icl: Coq WarmUp
END:VEVENT
BEGIN:VEVENT
UID:38623539-3438-4135-b833-336333343234
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210422T063000Z
DTEND:20210422T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35346236-6337-4132-b965-643132343765
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210422T081500Z
DTEND:20210422T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37666564-6532-4935-b966-326663346462
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210422T101500Z
DTEND:20210422T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62306138-6162-4637-a433-386235633333
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210429T063000Z
DTEND:20210429T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62353364-3134-4264-a231-326130636466
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210429T081500Z
DTEND:20210429T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31323639-6130-4263-b662-633636666166
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210429T101500Z
DTEND:20210429T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32356536-6138-4939-b765-623062333865
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210506T063000Z
DTEND:20210506T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34343664-6132-4535-a339-343135346261
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210506T081500Z
DTEND:20210506T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32396239-6438-4462-b561-393666636566
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210506T101500Z
DTEND:20210506T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65386531-6234-4233-b664-383537386161
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210520T063000Z
DTEND:20210520T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66313066-3762-4430-b839-383064623139
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210520T081500Z
DTEND:20210520T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66333933-6535-4966-a438-316333653336
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210520T101500Z
DTEND:20210520T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32323331-3161-4766-a165-343533386234
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210527T063000Z
DTEND:20210527T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64653733-3633-4434-b364-366536613662
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210527T081500Z
DTEND:20210527T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62323765-3262-4363-b561-323163643662
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210527T101500Z
DTEND:20210527T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38353866-3134-4761-a561-313534373131
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210610T063000Z
DTEND:20210610T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64386635-3638-4232-b263-633630643662
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210610T081500Z
DTEND:20210610T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66313461-3230-4135-b139-656436646363
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210610T101500Z
DTEND:20210610T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37656137-3265-4535-b862-363830316466
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210617T063000Z
DTEND:20210617T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66363061-3838-4431-b964-346462313730
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210617T081500Z
DTEND:20210617T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61623432-3732-4937-a136-376461366464
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210617T101500Z
DTEND:20210617T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66666532-3435-4362-a136-616262333137
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210624T063000Z
DTEND:20210624T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65626163-3131-4639-a162-383032366461
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210624T081500Z
DTEND:20210624T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66616331-6162-4162-b030-633265626135
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210624T101500Z
DTEND:20210624T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64303864-3162-4236-a138-353863366264
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210701T063000Z
DTEND:20210701T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35343936-6136-4030-b161-373038316335
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210701T081500Z
DTEND:20210701T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33323764-3534-4965-a434-356163356664
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210701T101500Z
DTEND:20210701T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65343137-3135-4363-a235-653362323038
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210708T063000Z
DTEND:20210708T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66363837-3039-4432-b464-353236373930
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210708T081500Z
DTEND:20210708T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34303232-3534-4462-a633-643436663762
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210708T101500Z
DTEND:20210708T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39633238-3735-4266-b432-383131643833
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210715T063000Z
DTEND:20210715T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62643061-3332-4239-b065-366436633737
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210715T081500Z
DTEND:20210715T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61383665-3661-4632-b930-306666636436
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210715T101500Z
DTEND:20210715T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36393336-6433-4466-b139-643535366665
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210722T063000Z
DTEND:20210722T080000Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65323338-3431-4431-a663-633739633265
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210722T081500Z
DTEND:20210722T094500Z
SUMMARY:Icl: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66336566-3465-4535-b630-383661396664
DTSTAMP:20261108T112505Z
DESCRIPTION:
DTSTART:20210722T101500Z
DTEND:20210722T114500Z
SUMMARY:Icl: Tutorial
END:VEVENT
END:VCALENDAR