Games for Logic and Programming Languages III

ETAPS 2008, March 29 - April 6, 2008, Budapest, Hungary

APAL Special issue

All GALOP participants are invited to submit a journal paper to a special issue to appear in APAL.

The deadline for submitting is September 1st, 2008.

The submission site is, however, already open:


Saturday, April 5

09:00 - 10:30 Session 1: Invited Talks

  • Independence between quantifiers. Gabriel Sandu, Helsinki
  • Strategic games for independence-friendly logic. Merlijn Sevenster, Philips Research

10:30 - 11:00 Coffee

11:00 - 12:30 Session 2: Logic

  • A neutral approach to proof and refutation in MALL. Olivier Delande and Dale Miller, Ecole Polytechnique
  • Interactive proof search with Ludics. Alexis Saurin, Ecole Polytechnique

12:30 - 14:00 Lunch

14:00 - 16:00 Session 3: Verification

  • The variable hierarchy for the games mu-calculus. Luigi Santocanale and Walid Belkhir, Universite de Provence
  • Reachability games and game semantics: on comparing nondeterministic programs. Andrzej Murawski, Oxford

16:00 - 16:30 Coffee

16:30 - 18:00 Session 4: Tools

  • Towards game-based predicate abstraction. Adam Bakewell, Birmingham
  • A concrete presentation of game semantics. William Blum and Luke Ong, Oxford

Sunday, April 6

09:00 - 10:30 Session 1: Programming Language Semantics

  • Game semantics as string diagrams (Invited talk). Paul-Andre Mellies, PPS
  • Strachey Parametricity and Game Semantics. Joachim de Lataillade, Ottawa

10:30 - 11:00 Coffee

11:00 - 12:30 Session 2: Programming Language Semantics (cont'd)

  • Full abstraction for nominal exceptions and general references. Nikos Tzevelekos, Oxford
  • Global state considered helpful. Paul Levy, Birmingham

12:30 - 14:00 Lunch

14:00 - 16:00 Session 3: Programming Language Design

  • Hardware compilation using game semantics. Dan Ghica, Birmingham
  • Eriskay: a programming language based on game semantics. John Longley and Nicholas Wolverson, Edinburgh

16:00 - 16:30 Coffee

16:30 - 18:00 Session 4: Discussion

  • Game semantics: Accomplishments and open problems


The submission site is now closed:

About GaLoP

GaLoP is an annual international workshop on game-semantic models for logics and programming languages and their applications. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials as well as contributed papers and invited talks.

Contributions are invited on all pertinent subjects, with particular interest in compositional game-semantic models. Typical but not exclusive areas of interest are:

  • categorical aspects;
  • algorithmic aspects;
  • programming languages and full abstraction;
  • semantics of logics and proof systems;
  • proof search;
  • higher-order automata;
  • program verification and model checking;
  • program analysis;
  • security;
  • theories of concurrency;
  • probabilistic models.


This is intended to be an informal workshop without widely distributed proceedings. 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 relevant areas.

A special issue of the journal Annals of Pure and Applied Logic associated with the workshop will be discussed at the workshop.


Important dates

  • Workshop: April 5-6
  • Submission: February 14
  • Notification: March 1
  • Invited speakers

  • Gabriel Sandu, Helsinki
  • Paul-André Melliès, PPS
  • Merlijn Sevenster, Philips Research
  • Program committee

  • Dan Ghica (co-chair), Birmingham
  • Russ Harmer (co-chair), PPS
  • Martin Hyland, Cambridge
  • Pierre Hyvernat, Savoie
  • Jim Laird, Bath
  • John Longley, Edinburgh
  • Andrzej Murawski, Oxford
  • Andrea Schalk, Manchester
  • Past events

  • Galop II @ FLOC 2006
  • Galop @ Etaps 2005