Petr Hlinený, Václav Matyás, Tomás Vojnar: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2009, Prestige Hotel, Znojmo, Czech Republic, November 13-15, 2009. OASIcs 13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009