Programme of Colloquia for the Spring 1998 Semester

Programme for Spring 1998 with abstracts

17 February 1998: Prof. Keith G. Jeffery, CLRC Rutherford Appleton Laboratory, Chilton; Metadata
3 March 1998: Professor Dr Peter Starke, Humboldt University, Berlin; Signal event nets
10 March 1998: Professor Dr Georg Gottlob, Vienna University of Technology; Existential Second-Order Logic on Strings
17 March 1998: Professor Dr Guenter Harring, University of Vienna; Analytical performance modelling with workload uncertainties and variables
24 March 1998: Professor Eva Hajicova, DRSc, Charles University, Prague; Does computer science need linguistics?
31 March 1998: RNDr Ludek Matyska CSc, Faculty of Informatics, Masaryk University, Brno; Metacomputation
7 April 1998: Doc. Martin Platek CSc, Charles University, Prague; Formal methods for distinguishing between syntactically correct and incorrect structures
14 April 1998: Doc. Jiri Wiedermann, DrSc, UIVT CAV, Prague; Kogitoid: A mathematical model of mental activity
21 April 1998: Dr Jan Pavelka CSc, KU and DCIT, Prague; Software Process Assessment and Improvement
28 April 1998: Doc. Ing. Martin Sperka CSc, Department of Informatics and Computing Technology, FEI STU, Bratislava; Post-symbolic human-machine communication: the reality and vision of multimedia
5 May 1998: Dr Klara Osolsobe PhD, Institute of the Czech Language, Faculty of Arts, Masaryk University, Brno; Formal methods for distinguishing between syntactically correct and incorrect structures
12 May 1998: Dr Pavel Pudlak, DrSc, Institute of Mathematics, Prague; On algorithms for satisfying logical formulas
19 May 1998: Dr Vaclav Matyas, University of Cambridge, Computer Laboratory, Faculty of Informatics, Masaryk University, Uptime Commerce Ltd.; The global trust register
26 May 1998: Mgr. Milan Sekanina, Faculty of Law, Masaryk University, Brno; Shape in computing