Overview

The goal of the GDV'06 workshop is to bring together researchers interested in the application of game theory to system design, analysis, and verification. Games provide a model for interaction that has found many applications both in the theory of systems (semantics of programming languages, semantics of interaction) and in the practice of system design (controller synthesis, modular verification, security analysis). This workshop aims at covering a spectrum from theoretical results to concrete applications. The topics of interest include:

• Games and component-based design and verification
• Games as models for component interaction
• Game theory in semantics
• Games for control and scheduler synthesis
• Logics for games
• Algorithms for solving games
• Games in artificial intelligence and machine learning
• Game models in the design and verification of distributed systems
• Games in the design of multi-agent systems

Program

• GDV program

Invited Talks

• Monday, August 21st, 09:30‑10:30
  Luca de Alfaro (University of California at Santa Cruz, USA)
  Interface theories in practice [ppt]
• Monday, August 21st, 11:00‑12:00
  Marcin Jurdzinski (University of Warwick, UK)
  Algorithms for solving parity games [pdf]
• Monday, August 21st, 16:00‑17:00
  Christof Löding (RWTH Aachen, Germany)
  Memory reduction for strategies in infinite games [pdf]

Program Chairs

• Patricia Bouyer (LSV, CNRS & ENS de Cachan, France)
• Madhusudan P., (UIUC, USA)

Steering Committee

• Luca de Alfaro (University of California, Santa Cruz, USA)
• Rajeev Alur (University of Pennsylvania, USA)
• Wolfgang Thomas (RWTH Aachen, Germany)
• Igor Walukiewicz (LABRI, CNRS & Université Bordeaux 1, France)

History