Invited Speakers

• Graph Games with Reachability Objectives: Mixing Chess, Soccer and Poker
  Krishnendu Chatterjee, IST Austria
  
  
• Automata for monadic second-order model-checking
  Bruno Courcelle, Labri, Universitè Bordeaux 1
  Slides
  
  
• Timed Automata as Observers of Stochastic Processes
  Joost-Pieter Katoen, RWTH Aachen
  
  
• Reachability Problems for Hybrid Automata
  Jean-Francois Raskin, CFV, Universitè Libre de Bruxelles