Program kolokvií pro semestr Jaro 2005

Program pro Jaro 2005 s abstrakty
1. 3. 2005
Prof. RNDr. Jan Kratochvíl DrSc., MFF KU, Praha
The frequency assignment problem: from mobile phones to graph isomorphism
8. 3. 2005
Prof. Renate Motschnig, Universität Wien
Soft-skills for IT people: initial experience with putting theory and practice.
15. 3. 2005
Prof. M. Dokulil, Doc. I. Kopeček, Dr. J. Thomas, FI MU Brno
Bach, Goedel and Informatics (Dedicated to the 320th anniversary of Bach's birth and to the 70th anniversary of Goedel's papers on the consistency of the axiom of choice.)
22. 3. 2005
Doc. Luděk Matyska, CSc., Dr. Eva Hladká, PhD., UVT+FI MU Brno
Large data volumes, distance, and space -- challenge for distributed environment
29. 3. 2005
Doc. Michal Kozubek, PhD., FI MU Brno
Zpracování nových typů dat v optické mikroskopii
5. 4. 2005
Doc. Pavol Voda, CSc., FMFI Komenského univerzita, Bratislava
Specification and Verification of Declarative Programs
12. 4. 2005
Prof. Ing. Bořivoj Melichar, DrSc., FEL CVUT, Praha
Opakování v textu a konečné automaty
19. 4. 2005
Doc. Ivan Kopeček, CSc., FI MU Brno
Dialogue Modeling
26. 4. 2005
Doc. Luboš Brim, CSc., FI MU Brno
Paralelní a distribuované metody verifikace
3. 5. 2005
Doc. RNDr. Roman Ďurikovič, Ph.D., Univerzita Komenského, Bratislava
Soap dynamics: bubble formation, clustering, collision and popping
10. 5. 2005
Prof. Edmund Burke, University of Nottingham, UK
New Heuristic and Meta-heuristic Approaches in Cutting and Packing
17. 5. 2005
Prof. Vilém Novák, DrSc., Univerzita Ostrava
O principech a potenciálu fuzzy logiky