Games for Logic and Programming Languages II

FLoC 2006, Seattle, Washington, USA, August 10 - 22, 2006


The final programme is available on the FLOC web site.


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 FLoC'06 events and to become a major meeting point in the research area of Game Semantics and its applications.


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

Please submit using the EasyChair [] web site.

A special journal issue associated with the workshop is being considered; this will be discussed at the workshop.


Important dates

  • Submission: May 19
  • Notification: June 9
  • Workshop: 10-11 August 2006
  • Submission link

  • EasyChair
  • Invited speaker

  • Luke Ong, Oxford
  • Madhusudan Parthasarathy, UIUC
  • Program committee

  • Samson Abramsky, Oxford
  • Pierre-Louis Curien, Paris VII
  • Claudia Faggian, Padova
  • Dan Ghica, Birmingham
  • Radha Jagadeesan, DePaul (Chair)
  • Paul-André Melliès, Paris VII
  • Guy McCusker, Sussex
  • Olivier Laurent, Paris VII
  • Andrea Schalk, Manchester
  • other members TBA
  • Steering committee

  • Russ Harmer, Paris VII
  • Kohei Honda, Queen Mary University of London
  • Furio Honsell, Udine
  • Martin Hyland, Cambridge (Chair)
  • Jim Laird, Sussex
  • Luke Ong, Oxford
  • Thomas Streicher, Darmstadt
  • Past events

  • Galop @ Etaps 2005