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