Program kolokvií pro semestr Jaro 1998

Program pro Jaro 1998 s abstrakty
17. 2. 1998
Prof. Keith G. Jeffery, CLRC Rutherford Appeleton Laboratory, Chilton
Metadata
3. 3. 1998
Professor Dr. Peter Starke, Humbolt University, Berlin
Signal event nets
10. 3. 1998
Professor Dr. Georg Gottlob, Technische Universitaet, Vienna
Existential Second Order Logic on Strings
17. 3. 1998
Professor Dr. Guenter Harring, University of Wien
Analytic performance modelling with workload uncertainities and variables
24. 3. 1998
Profesor Eva Hajicova, DRSc, KU, Praha
Potrebuje informatika lingvistiku?
31. 3. 1998
RNDr Ludek Matyska CSc, FI MU Brno
Metapocitace
7. 4. 1998
Doc. Martin Platek CSc , KU, Praha
Formalne prostredky pro separaci syntakticky korektnich a nekorektnich struktur
14. 4. 1998
Doc. Jiri Wiedermann, DrSc, UIVT CAV Praha
Kogitoid: Matematicky model mentalni cinnosti
21. 4. 1998
Dr. Jan Pavelka CSc, KU a DCIT Praha
Software Process Assessment and Improvement
28. 4. 1998
Doc. Ing. Martin Sperka CSc, Katedra informatiky a vypoctovej techniky, FEI STU, Bratislava
Post symbolicka komunikacia clovek-stroj: realita a vizie multimedii
5. 5. 1998
Dr. Klara Osolsobe PhD, Ustav Ceskeho jazyka, FF MU, Brno
Formalni prostredky pro separaci syntakticky korektnich a nekorektnich struktur
12. 5. 1998
Dr. Pavel Pudlak DrSc, Matematicky ustav, Praha
O algoritmech pro splnovani logickych formuli
19. 5. 1998
Dr. Vaclav Matyas, University of Cambridge, Computer Laboratory, FI MU, Uptime Commerce Ltd.
The global trust register
26. 5. 1998
Mgr. Milan Sekanina, PrF MU Brno
Shape in computing