2007
NEWS
November 16, 2007
Conference Photogallery
Conference Photogallery
You can have a look at the photogallery.
November 14, 2007
Proceedings
Proceedings
You can donwload conference proceedings.
October 26—28, 2007 • Prestige Hotel • Znojmo • Czechia
Sunday, October 28, 2007
| Green Lounge | ||
| 9:00-10:00 | Javier Esparza (Invited Talk) Newtonian Program Analysis | |
| 10:00-10:45 | V. Brožek Regularity in Model Checking PDA Games | |
| J. Nešetřil and T. Valla On Ramsey-type Positional Games | ||
| I. Fialík Classical Winning Strategies for the Matching Game | ||
| 10:45-11:15 | Coffee Break | |
| Green Lounge | ||
| 11:15-11:45 | A. Vescan Components Ordered Assembly Construction | |
| B. Zimmerova and P. Vařeková Reflecting Creation and Destruction in CBSs Modelling | ||
| 11:45-12:15 | Closing Ceremony and Prizes Announcement | |
| 12:30-14:00 | Lunch | |
| 14:00 | Departure, Bus to Brno |
•
Copyright © FI MU
Copyright © FIT VUT
Brno, 2005–2008
Photos and Design
