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: 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

Workshop Program

Reminder: Early registration deadline is June 8, 2005

Confirmed Speakers

Patricia Bouyer      ENS Cachan      Partial observation of timed systems
Kousha Etessami      University of Edinburgh      Analysis and verification of Recursive Markov Chains, Recursive Markov Decision Processes, and Recursive Stochastic Games
Emmanuel Fleury      Aalborg      Efficient On-the-fly Algorithms for the Analysis of Timed Games
Dan Ghica      Birmingham      Model checking concurrent programs using game semantics
Ranko Lazic      Warwick      Data-Abstraction Refinement: A Game Semantic Approach
Jean-Francois Raskin      University Libre de Bruxelles      On optimal timed strategies
Marielle Stoelinga      University of Twente      Time and Resource Interfaces: a behavioral type system for component-based design


Program Committee

Dan Ghica University of Birmingham
Erich Grädel RWTH Aachen
Marcin Jurdzinski (co-chair)     University of Warwick
Kim G. Larsen Aalborg University
Rupak Majumdar (co-chair) UC Los Angeles
Madhusudan Parthasarathy Univsersity of Illinois, Urbana-Champaign
Olivier Serre RWTH Aachen

Steering Committee

Rajeev Alur         University of Pennsylvania
Luca de Alfaro         UC Santa Cruz
Wolfgang Thomas RWTH Aachen
Igor Walukiewicz LaBRI, Université Bordeaux-1

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 Last updated: June 6, 2005