Programme of colloquia for the Spring 2000 semester

Programme for Spring 2000 with abstracts

29 February 2000: Prof. RNDr Jozef Gruska DrSC, Faculty of Informatics, Masaryk University, Brno; Quantum automata
7 March 2000: Prof. RNDr Jaroslav Kral DrSC, Prague; Beyond object orientation
14 March 2000: Prof. Ing. Ivo Serba, DrSC, Brno; Image perception and communicative computer graphics
21 March 2000: Hans Hagen, PRAGMA ADE, The Netherlands; The Future of Documents and Documentation
28 March 2000: Prof. RNDr Petr Hajek DrSC, UIVT CAV Prague; What is soft computing?
4 April 2000: Doc. Mojmir Kretinsky CSc; Projects on Concurrency at the Faculty of Informatics, Masaryk University
11 April 2000: Dr Franz Wotawa, Technical University of Vienna; Model-Based Reasoning and its Application to Software Debugging
18 April 2000: Prof. Jaroslav Nesetril DrSc, Charles University, Prague; The Idea of Universality in Mathematics and Computer Science
25 April 2000: Dr Peter Rossmanith, Technical University of Munich; Exact algorithms for NP-complete problems
27 April 2000: Prof. Juraj Hromkovic, University of Aachen; On the computational power of Las Vegas finite automata
2 May 2000: Doc. Vladimir Petkevic, Charles University, Prague; Automatic morphological disambiguation of Czech texts
9 May 2000: Prof. Charles Wuetrich, University of Aachen; TBA
16 May 2000: Doc. Jiri Sochor CSc; Human-Computer Interaction in Virtual Environments
23 May 2000: Doc. J. Psutka CSc, Plzeň; Recognition of Spoken Czech
30 May 2000: Mgr. Antonín Kučera, Dr.; Verification of Concurrent Systems: Theory and Practice (Habilitation lecture)
27 June 2000: Prof. Jay Anderson, Lancaster, USA; Algorithm visualisation using QuickTime movies: new techniques to enhance student learning