Games in Design and Verification
Workshop co-located with CAV 2005
Edinburgh, Scotland,
UK
July 12, 2005
The goal of the GDV 2005 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
This is the second workshop on Games in Design and Verification.
GDV 04 was co-located with
CAV 2004 in Boston, Massachusetts.
This time, we are planning to have two one-hour invited keynote talks,
and two half-hour invited talks on recent advances in games in verification.
In addition, we shall have technical sessions for contributed papers.
Please send your technical submissions by email
to rupak@cs.ucla.edu.
Reminder: Early registration deadline is June 8, 2005
Confirmed Speakers
Proceedings
Program Committee
Steering Committee
Important Dates
| Paper submission: |
April 30 |
| Notification: |
May 30 |
| Final version: |
June 30 | |
Location and Registration Information
GDV 2005 will be colocated with CAV 2005 in Edinburgh, just
after CAV on July 12, 2005. Registration information
can be found in the CAV registration page.
Previous Workshops
GDV 2004
| rupak@cs.ucla.edu |
Last updated: June 6,
2005 |