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
2011
2010
2009
2008
2007
2006/2005
NEWS
 
January 6, 2010
Photos
Have a look at MEMICS 2009 photos.
December 23, 2009
DROPS
Selected MEMICS'09 papers have just appeared in a distinguished workshop postproceedings published by Dagstuhl Research Online Publication Server DROPS.
MAIN FACTS
MEMICS IN BRIEF
INVOLVEMENT
IMPORTANT DATES
PROGRAMME
INVITED SPEAKERS
PASTIME
SOCIAL EVENTS
LOCALE
VENUE
November 13—15, 2009    Prestige Hotel    Znojmo    Czechia
 

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.
Best Papers
  • Kim G. Larsen, Uli Fahrenberg and Claus Thrane. A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic
  • Monika Steinova. Approximability of the Minimum Steiner Cycle Problem
  • Zdenek Vasicek and Lukas Sekanina. Efficient Hardware Accelerator for Symbolic Regression Problems
Sponsors
Cepia technologies     Ysoft     Red Hat

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