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)