2011
NEWS
December 15, 2011
Photogallery
Photogallery
You can have a look at the photos from the conference.
October 14—16, 2011 • My Hotel • Lednice • Czech Republic
Best Papers Awards
A selection of the best regular papers
will be done during the workshop, and their authors will receive a
best paper award.
The Best paper award came this year to the following three papers:
- Jiří Barnat, Ivana Černá and Jana Tůmová. Timed Automata Approach to Verification of Systems with Degradation.
- Ondrej Moriš and Petr Hliněný. Generalized Maneuvers in Route Planning
- Christos Sakellariou and Peter Bentley. Introducing the FPGA-based Hardware Architecture of Systemic Computation (HAoS)
Sponsors
•
Copyright © FI MU
Copyright © FIT VUT
Brno, 2005–2011
Photos and Design
