Programme of colloquia for the Spring 2007 semester

Programme for Spring 2007 with abstracts

20 February 2007: Prof. Rudolf Freund, Vienna University of Technology; Curricula and Research Topics in “Informatics and Medicine” at the Vienna University of Technology
27 February 2007: Ing. Tomáš Vojnar, Ph.D., FIT VUT, Brno; Counter Automata in the Verification of Programmes on Lists or Trees
6 March 2007: Prof. Zoltán Esik, University of Szeged; An algebraic characterisation of logics on finite trees
13 March 2007: Doc. PhDr. Karel Pala, CSc., Mgr. Pavel Rychlý, Ph.D., FIMU, Brno; Similarity of contexts in large text corpora
20 March 2007: Assoc. Prof. Ing. Martin Šperka, PhD., FIIT STU, Bratislava; Research in the field of visualisation and augmented reality at FIIT STU in Bratislava
21 March 2007, B011 14:00: Dr Momtchil Peev, Seibersdorf Research, Vienna; Quantum key distribution and (classical) cryptography
27 March 2007: Doc. RNDr. Antonín Kučera, Ph.D., FIMU, Brno; Quantitative analysis of recursive Markov chains
3 April 2007: Doc. Dr. Ing. Pavel Zemčík, FIT VUT, Brno; 2D image classifiers, their applications and acceleration via DSP and FPGA. 2D Image Classifiers, their application, and acceleration through DSP and FPGA
10 April 2007: Prof. PhDr. Eva Hajičová, DrSc., Faculty of Mathematics and Physics, Charles University, Prague; Dependency grammar and the deep structure of a sentence
17 April 2007: Prof. Dines Bjorner, Technical University of Lyngby, Denmark; Domain Theories and Domain Engineering
24 April 2007: Prof. Dalibor Fronček, University of Minnesota Duluth; Want to organise a (un)fair tournament?
15 May 2007: Dr Rudolf Hanka, University of Cambridge; Content-Based Indexing and Browsing of Medical Images