GaLoP

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:

http://www.easychair.org/conferences/?conf=apalgalop08

Programme

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

News

The submission site is now closed:

http://www.easychair.org/conferences/?conf=galop08

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.

Publication

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.