Programme of Colloquia for the Autumn 2005 Semester

Programme for Autumn 2005 with abstracts

20 September 2005: Prof. Jana Kosecka, George Mason University, Washington, USA; Vision-Based Localisation in Urban and Office Environments
27 September 2005: Prof. Václav Přenosil, CSc., FIMU; Simulation and training technologies in improving the decision-making processes of managers
4 October 2005: Doc. Ivan Kalaš, PhD., FMFI, Comenius University, Bratislava; Software tools supporting the development of cognitive processes
11 October 2005: Assoc. Prof. Petr Jančar, CSc., VŠB – Technical University of Ostrava; Some aspects of formal verification, with a focus on bisimilarity
18 October 2005: Dr Vlastimil Havran, PhD, Max Planck Institute for Informatics, Saarbrücken; Sorting and Searching in Photo-Realistic Image Synthesis
25 October 2005: Carlos Ortiz de Solorzano, PhD., University of Navarre, Pamplona, Spain; Contribution of 3D image analysis to understanding normal mammary gland biology and breast cancer
1 November 2005: Prof. František Plášil, DrSc., Faculty of Mathematics and Physics, Charles University, Prague; Formal methods and software components – a real-life experience
8 November 2005: RNDr. Jozef Vyskoč, PhD., Bratislava; Privacy protection – an overview of the current situation
15 November 2005: Prof. Jiří Wiedermann, DrSc., Institute of Informatics, Czech Academy of Sciences, Prague
RNDr. Dana Pardubská, PhD., Comenius University, Bratislava; On the Power of Broadcasting in Mobile Computing
22 November 2005: Prof. Petr Hájek, DrSc., Institute of Informatics, Czech Academy of Sciences, Prague; Mathematical Fuzzy Predicate Logic – Current Status
29 November 2005: Dr Christopher Kruegel, TU Vienna; Malicious code analysis: Detecting metamorphic worms
6 December 2005: JUDr. František Cvrček, CSc., Institute of State and Law, Czech Academy of Sciences; Legal language, analysis of legal texts and law-making
13 December 2005: Prof. Tomoyuki Yamakami, Japan Science and Technology Agency, Japan; Resource-Bounded Computation and Erroneous Probabilistic Computation