Invited talks


Sam Buss

Affiliation: Department of Mathematics, University of California, San Diego, USA

Talk title: Alternation Trading Proofs and Their Limitations (Slides)


Leah Epstein

Affiliation: Department of Mathematics,University of Haifa, Israel

Talk title: Bin packing games with selfish items


Jean Goubault-Larrecq

Affiliation: LSV, CNRS & ENS de Cachan, France

Talk title: A constructive proof of the topological Kruskal theorem (Slides)


Martin Grohe

Affiliation: Department of Computer Science, Humboldt University of Berlin, Germany
      RWTH Aachen University, Germany

Talk title: Logical and Structural Approaches to the Graph Isomorphism Problem (Slides)


Elias Koutsoupias

Affiliation: Department of Computer Science, University of Oxford, UK

Talk title: Prior-free auctions of digital goods (Slides)


Nir Piterman

Affiliation: Department of Computer Science, University of Leicester, UK

Talk title: Synthesis from Temporal Specifications: New Applications in Robotics and Model-Driven Development