With the financial support from several Czech companies we are proud to announce that the best papers selected by the Program Committee will be awarded a financial prize.
Best Papers
Václav Brožek, Regularity in model checking PDA games
Stephan Kubisch, Dirk Timmermann, Enrico Heinrich, A GALS Network-on-Chip
for an FPGA
Igor Peterlik, Distributed Precomputation of State-space for Haptic
Interaction with Non-linear Model of Liver
Sponsors
The following companies are sponsoring the prize in equal share: