Invited Talks

• Streaming String Transducers
  Rajeev Alur (Univ. of Pennsylvania, USA)
  
• Special tree-width and the verification of monadic second-order graph properties
  Bruno Courcelle (LaBRI, Bordeaux, France)
  
• On extracting computations from propositional proofs
  Pavel Pudlák (Math. Institute, Academy of Sciences, Czech Republic)
  
• Recent Progress and Open Problems in Algorithmic Convex Geometry
  Santosh Vempala (Georgia Tech. Univ., USA)
  
• Playing in stochastic environment: from multi-armed bandits to two-player games
  Wiesław Zielonka (LIAFA, Paris 7, France)