Workshop co-located with
CAV 2004
Boston, Massachusetts, USA July 18, 2004
The goal of the GDV 2004 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
Game models in the design and verification of distributed systems
