Program kolokvií pro semestr Jaro 2001
Program pro Jaro 2001 s abstrakty- 6. 3. 2001
- Doc. Lubos Brim, CSc, FI MU Brno
- Automated formal verification
- 13. 3. 2001
- Prof. Pavel Misha, Oregon University, USA
- Fusion-based robust signal processing by humans and machines
- 20. 3. 2001
- Doc. Martin Sperka, FIE Bratislava
- Umele umenie: moze stroj vytvorit umelecke dielo?
- 27. 3. 2001
- Prof. Miroslav Novotny DrSc
- Homomorphisms -- why and how?
- 3. 4. 2001
- Dr. Hans Hagen, GH Hesselt, The Netherlands
- MATHML
- 10. 4. 2001
- Doc. Ivan Kopecek, CSc, FI, MU, Brno
- Abstraction and complexity (Finite state analysis of speech communication)
- 17. 4. 2001
- Prof. Frantisek Plasil CSc, MFF UK, Praha
- Component behaviour protocols and connections
- 24. 4. 2001
- Doc.Jiri Wiedermann, DRSc. Ustav Informatiky, CAV, Praha
- Turingov stroj ve svetle soucasnych vypoctu
- 15. 5. 2001
- Dr. Jan Sefranek, Ustav informatiky, MFF UK, Bratislava
- Logika a umela inteligencia
- 22. 5. 2001
- Dr. Wolfgang Slany, Technische Universitaet, Wien
- Shift scheduling problems
- 29. 5. 2001
- Prof. Kenichi Morita, Hiroshima university
- Reversible computing
- 31. 5. 2001
- Kostis Sagonas
- HiPE: A High Performance Erlang System