[TYPES] Games for Logic and Programming Languages [CFP]

[Dan Ghica]

   CALL FOR PAPERS:

   Games for Logic and Programming Languages

   An Etaps 2005 Workshop

   Edinburgh, 2-3 April 2005

   [http://users.ox.ac.uk/%7Ecoml0074/galop.html]

   In the past decade game semantics has emerged as a new and successful paradigm
   in the field of semantics of logics and programming languages.  Game semantics
   made its breakthrough in computer science in the early 90s, providing an
   innovative set of methods and techniques for the analysis of logical systems.
   Subsequently, game-semantic techniques led to the development of the first
   syntax-independent fully-abstract models for a variety of programming
   languages, ranging from the purely functional to languages with non-functional
   features such as control, references or concurrency.  There are also emerging
   connections between game semantics and other semantic theories, notably
   theories of concurrency such as the pi-calculus, and traditional tree-based
   semantics of lambda calculi. In addition to semantic analysis, an algorithmic
   approach to game semantics has recently been developed, with a view to
   applications in computer assisted verification and program analysis.

   The aim of the workshop is to provide opportunity for interaction with other
   Etaps'05 events and to become a major meeting point in the research area of
   Game Semantics and its applications.


Invited speakers

   * Luke Ong, Oxford University
   * Luca de Alfaro, University of California, Santa Cruz


Publication

   This is intended to be an informal workshop. Participants are encouraged to
   present work in progress, overviews of more extensive work, and
   programmatic/position papers, as well as completed projects. We therefore ask
   for submission both of short abstracts outlining what will be presented at the
   workshop and of longer papers describing completed work, either published or
   unpublished, in the following areas:
     * Game theory and interaction models in semantics
     * Games-based design and verification
     * Logics for games and games for logics
     * Algorithmic aspects of games

   In order to make a submission:
     * Format your file using the LNCS guidelines. We suggest a 15 page limit.
     * Email a PostScript or PDF version to dan.ghica at comlab.ox.ac.uk.

   A participants' proceedings will be distributed at the workshop and made
   available as a Oxford University technical report. A special journal issue
   associated with the workshop is being considered; this will be discussed at the
   workshop.


Important dates

   * Submission due:             January 15th
   * Notification of acceptance: February 15th
   * Final version due:          March 1st
   * Workshop dates:             April 2-3, 2005.


Program committee:

   Samson Abramsky, Oxford University
   Pierre-Louis Curien, Universite Paris 7
   Russ Harmer, Universite Paris 7
   Kohei Honda, Queen Mary University of London
   Furio Honsell, University of Udine
   Martin Hyland, Cambridge University
   Radha Jagadeesan, DePaul University
   Jim Laird, University of Sussex
   Thomas Streicher, Universitaet Darmstadt


Chairs:

   Dan Ghica, Oxford University
   Guy McCusker, University of Sussex