MEMICS
MEMICS
Annual Doctoral Workshop on Mathematical and
Engineering Methods in Computer Science
 
organized jointly by the Masaryk University
and the Brno University of Technology, Czechia
2012
2011
2010
2009
2008
2007
NEWS
 
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
Honeywell     Red Hat     IBAcz

 
 
MEMICS Photo
 
MEMICS
 
Copyright © FI MU
Copyright © FIT VUT
Brno, 2005–2011
FIFIT
Photos and Design