2009
NEWS
January 6, 2010
Photos
Photos
Have a look at MEMICS 2009 photos.
December 23, 2009
DROPS
DROPS
Selected MEMICS'09 papers have just appeared in a distinguished
workshop postproceedings
published by Dagstuhl Research Online Publication Server DROPS.
November 13—15, 2009 • Prestige Hotel • Znojmo • Czechia
Sunday, November 15, 2009
| Green Lounge | ||
| 9:00-10:00 | Mikolaj 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:30 | Coffee Break | |
| 10:30-10:55 | Nikola 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:20 | Patricia Bouyer and Vojtech Forejt Reachability in Stochastic Timed Games | Filip Goldefus Weak Leftmost Derivation For Cooperative Distributed Grammar Systems |
| 11:20-11:45 | Jakub Chaloupka and Luboš Brim Faster Algorithm for Mean-Payoff Games | Zdenek Prikryl and Tomas Hruska Cycle accurate profiler for ASIPs |
| 11:45-12:00 | Marek Běhálek and Petr Saloun Embedded Process Functional Language | |
| 12:05-12:40 | Prizes Announcement, Business Meeting (including information on MEMICS'10), and Closing Ceremony | |
| 12:45-14:00 | Lunch | |
| 14:00 | Departure, Bus to Brno |
•
Copyright © FI MU
Copyright © FIT VUT
Brno, 2005–2009
Photos and Design
