Translated using 
Machine-translated page for increased accessibility for English questioners.
Programme of Colloquia for the Spring 2003 Semester
Programme for Spring 2003 with abstracts- 4 March 2003
- Doc. Lubos Brim, CSc, Faculty of Informatics, Masaryk University, Brno
- Parallel and distributed model checking
- 18 March 2003
- Prof. Miroslav Sveda, FIT, Brno University of Technology
- Reuse of formal specifications for the design of embedded systems
- 25 March 2003
- Doc. Antonin Kucera, Faculty of Informatics, Masaryk University, Brno
- Factors and filtration of transient systems
- 1 April 2003
- Prof. Miloš Druckmuller, DrSc, Brno University of Technology
- Visualisation of the solar corona
- 8 April 2003
- RNDr Petr Savicky CSc, Institute of Informatics, Czech Academy of Sciences, Prague
- Decision trees and forests for data analysis
- 15 April 2003
- Prof. Roland Vollmar, University of Karlsruhe
- Informatics for visually impaired people
- 22 April 2003
- Prof. Frantisek Plasil, CSc, Faculty of Mathematics and Physics, Charles University, Prague
- Deriving ‘the whole picture’ behaviour from use cases
- 29 April 2003
- Prof. Ludek Smolik, Seigen University
- Random numbers in cryptography and how to go about it
- 6 May 2003
- Dr Ladislav Hluchy CSc, Director of the Institute of Informatics, Slovak Academy of Sciences, Bratislava
- A Virtual Organisation for Flood Forecasting
- 13 May 2003
- RNDr Ivana Cerna CSc
- Model Checking: Approaches to the State Explosion Problem
- 20 May 2003
- Dr Rudolf Hanka, Cambridge University, UK
- Semantic context recognition for large-scale medical image archives