Call for Participation
Games in Design and Verification
http://www.cs.ucla.edu/~rupak/gdv2005.htm
GDV 2005
Workshop co-located with CAV 2005
Edinburgh, Scotland, UK
July 12, 2005
The workshop program is available at http://www.cs.ucla.edu/~rupak/gdv2005.htm
Reminder: Early registration deadline is June 8, 2005.
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.