Pondělí 28. srpna - Počítačové podpory pro logiku
     14:00    zahájení semináře a registrace
     15:00    Přehled počítačových podpor pro logiku dostupných na internetu
     16:00    Jiří Raclavský: Automatický překlad výrazů češtiny do TIL na FI-MU
     17:00    praktické ukázky a konzultace k přednáškám
     19:00    večeře

Úterý 29. srpna - Didaktické softwary pro výuku logiky
     09:00    Přehled publikovaného didaktického softwaru pro výuku logiky
     10:00    Michal Peliš: Tarski's World
     11:00    Hyperproof
     12:00    oběd
     14:00    Martin Víta: Visual Turing
     15:30    Ludmila Dostálová, Jaroslav Lang: Organon - webová aplikace pro výuku logiky
     17:00    praktické ukázky a konzultace k přednáškám
     19:00    večeře

Středa 30. srpna - Logika a e-learning
     09:00    Přehled e-learningových a distančních kurzů logiky dostupných na internetu
     10:00    Petr Naske: Využití počítačových sítí při výuce: koncepce a workshop o školení učitelů v rámci koncepce SIPVZ
     12:00    oběd
     14:00    Marie Duží: Zkušenosti s podporou výuky logiky a automatizovanými testy v systému Moodle
     15:00    Marek Menšík, Tomáš Miketa: E-learningová podpora výuky logiky (E-logika)
     16:00    Jiří Raclavský: E-learningová podpora nejen kombinovaného studia
     17:00    praktické ukázky a konzultace k přednáškám
     19:00    večeře

Čtvrtek 31. srpna - Kde a jak brát stále nové příklady
     09:00    Přehled zdrojů příkladů a cvičení pro logiku dostupných na internetu
     10:00    Marie Benediktová: Příklady z logiky pro nelogiky
     11:00    Vít Bělič: Logika a obecné studijní předpoklady
     12:00    ukončení semináře a oběd