Applied Mathematical Logics

- program zde

- historie seminare od r. 1994 (bude postupne doplnovano do soucasnosti): zde

Hora Informaticae

- program zde

Seminář z umělé inteligence

- program zde