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
- program
- historie semináře od r. 1994 (bude postupně doplňováno do současnosti)
- program
- program