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

Odpovědná osoba: RNDr. Ivan Fialík, Ph.D.