Seminář aplikované matematické logiky

- program

- historie semináře od r. 1994 (bude postupně doplňováno do současnosti)

Hora Informaticae

- program

Seminář strojového učení a modelování

- program