General Information

A GAMES winter school took place in Champéry, Switzerland from February 4th to 8th, 2013.

Speakers

• Mikolaj Bojanczyk, University of Warsaw, Poland
  Computation in Sets with Atoms
  [slides]
• Anuj Dawar, University of Cambridge, UK
  Games and Isomorphism in Finite Model Theory
  [slides1], [slides2]
• Jacques Duparc, University of Lausanne, Switzerland
  Determinacy
  [slides]
• Erich Grädel, RWTH Aachen, Germany
  Games and Logics with Team Semantics
  [slides]
• Dietrich Kuske, Technische Universität Ilmenau, Germany
  Automatic Structures
  [slides1], [slides2]
• Anca Muscholl, University of Bordeaux, France
  Distributed Synthesis
  [slides]
• Martin Otto, Technical University of Darmstadt, Germany
  Bisimulation and Games for Modal and Guarded Logics
  [slides]
• Luc Segoufin, ENS Cachan, France
  Logics on Data Words and Data Trees
  [slides]
• Anca Muscholl, University of Bordeaux, France
  Distributed Synthesis
  [slides]
• Igor Walukiewicz, University of Bordeaux, France
  Recursive Schemes, Krivine Machines, and Monadic Logic
  [slides]