Colloquiums in the fall semester 2006
Programme for Fall 2006 with abstracts- 26. 9. 2006
- doc. Ing. Jan Staudek, CSc., FIMU, Brno
- Management informační bezpečnosti (pohled r. 2006 a dál)
- 3. 10. 2006
- Prof. Cristian S. Calude, University of Auckland, New Zealand
- Variations on the Halting problem
- 10. 10. 2006
- Prof. RNDr. Jiří Wiedermann, DrSc., Ústav informatiky AV ČR
- Chtěli byste být mozkem v baňce?
- 17. 10. 2006
- doc. RNDr. Václav Matyáš, M.Sc., Ph.D., FIMU, Brno
- On two experiments in the areas of privacy and security
- 24. 10. 2006
- Prof. Dr. Pavel Materna, CSc., Doc. RNDr. Marie Duží, CSc., FF MUNI Brno, VŠB Ostrava
- Transparentní intensionální logika a pravidlo β-redukce
- 31. 10. 2006
- Dr. Martin Rayman, EPFL Center for Global Computing, TU Lausanne
- P2P Information Retrieval from the Web
- 7. 11. 2006
- doc. RNDr. Lubomír Popelínský, Ph.D., FIMU, Brno
- On Czech text classification
- 14. 11. 2006
- prof. Ing. Miroslav Švéda, CSc., FIT VUT, Brno
- A Design Framework for Internet-Based Embedded Distributed Systems
- 21. 11. 2006
- Mgr. Michal Kunc, Ph.D., PřF MU, Brno
- Co víme o jazykových rovnicích?
- 28. 11. 2006
- Prof. Dr. Ralf H. Reussner, Universität Karlsruhe
- Components beyon Black boxes - Architectural Analysis with Parametric Component Contracts
- 5. 12. 2006
- Ing. Július Štuller, CSc., Ústav informatiky AV ČR
- Aktuálne trendy v oblasti semantického webu
- 12. 12. 2006
- Mgr. Jan Kasprzak, FIMU, Brno
- Spam včera, dnes, a bohuľel i zítra
- 19. 12. 2006
- Dr. Jaco van de Pol, CWI Amsterdam
- Symbolic and Algorithmic Techniques for the Verification of Large Distributed Systems