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
 

Sunday, November 15, 2009
Green Lounge
9:00-10:00Mikolaj Bojanczyk (Invited Talk, chair: Tony Kučera)
Automata for XML
Formal Verification 7
Chair: Stefan Schwoon
Grammars and Languages
Chair: Karel Richta
10:00-10:30Coffee Break
10:30-10:55Nikola Benes, Jan Kretinsky, Kim G. Larsen and Jiri Srba
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
Ota Jirák and Dušan Kolář
Derivation in SCG via Lazy Function Application
10:55-11:20Patricia Bouyer and Vojtech Forejt
Reachability in Stochastic Timed Games
Filip Goldefus
Weak Leftmost Derivation For Cooperative Distributed Grammar Systems
11:20-11:45Jakub Chaloupka and Luboš Brim
Faster Algorithm for Mean-Payoff Games
Zdenek Prikryl and Tomas Hruska
Cycle accurate profiler for ASIPs
11:45-12:00Marek Běhálek and Petr Saloun
Embedded Process Functional Language
12:05-12:40Prizes Announcement, Business Meeting (including information on MEMICS'10), and Closing Ceremony
12:45-14:00Lunch
14:00Departure, Bus to Brno

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