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