[TYPES] [GDV 2005] Call for Participation

Rupak Majumdar rupak at CS.UCLA.EDU
Mon Jun 6 13:46:18 EDT 2005

                                 Call for Participation

                         Games in Design and Verification

                                     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.

More information about the Types-list mailing list