Programme of colloquia for the Spring 2005 semester

Programme for Spring 2005 with abstracts

1 March 2005: Prof. RNDr. Jan Kratochvíl DrSc., Faculty of Mathematics and Physics, Charles University, Prague; The frequency assignment problem: from mobile phones to graph isomorphism
8 March 2005: Prof. Renate Motschnig, University of Vienna; Soft skills for IT professionals: initial experience in combining theory and practice.
15 March 2005: Prof. M. Dokulil, Doc. I. Kopeček, Dr J. Thomas, Faculty of Informatics, Masaryk University, Brno; Bach, Gödel and Informatics (Dedicated to the 320th anniversary of Bach’s birth and to the 70th anniversary of Gödel’s papers on the consistency of the axiom of choice.)
22 March 2005: Doc. Luděk Matyska, CSc., Dr Eva Hladká, PhD., UVT+FI, Masaryk University, Brno; Large data volumes, distance and space – a challenge for distributed environments
29 March 2005: Assoc. Prof. Michal Kozubek, PhD., Faculty of Informatics, Masaryk University, Brno; Processing new types of data in optical microscopy
5 April 2005: Doc. Pavol Voda, CSc., Faculty of Mathematics, Physics and Informatics, Comenius University, Bratislava; Specification and Verification of Declarative Programmes
12 April 2005: Prof. Ing. Bořivoj Melichar, DrSc., Faculty of Electrical Engineering, Czech Technical University, Prague; Repetition in Text and Finite Automata
19 April 2005: Doc. Ivan Kopeček, CSc., Faculty of Informatics, Masaryk University, Brno; Dialogue Modelling
26 April 2005: Doc. Luboš Brim, CSc., Faculty of Informatics, Masaryk University, Brno; Parallel and Distributed Verification Methods
3 May 2005: Doc. RNDr. Roman Ďurikovič, Ph.D., Comenius University, Bratislava; Soap dynamics: bubble formation, clustering, collision and popping
10 May 2005: Prof. Edmund Burke, University of Nottingham, UK; New Heuristic and Meta-heuristic Approaches in Cutting and Packing
17 May 2005: Prof. Vilém Novák, DrSc., University of Ostrava; On the Principles and Potential of Fuzzy Logic