Games for Logic and Programming Languages IV

Programme

Saturday, March 28th

Session 1

• Invited talk: Pebble Games for Logics with Counting and Rank Anuj Dawar
• Games for Logics with Partial Order Models Julian Gutierrez and Julian Bradfield

Session 2

• A Concrete Representation of Observational Equivalence for PCF Martin Churchill, James Laird and Guy McCusker
• A Game-Theoretic Framework for Dependent Types Pierre Clairambault
• Game Semantics for Access Control Samson Abramsky and Radha Jagadeesan

Session 3

• Geometry of Synthesis 2: Compiling Finite-Bound Concurrency into Hardware Dan Ghica
• Towards a Synchronous Game Semantics Mohamed Nabih Menaa
• Clipping: A Semantics-Directed Syntactic Approximation Adam Bakewell and Dan Ghica

Session 4

• Game Semantics and Block-Structured State Andrzej Murawski and Nikos Tzevelekos
• A First Step towards a Geometric Foundation for Game Semantics Guy McCusker and John Power

Sunday, March 29th

Session 1

• Invited talk: Towards an Algebraic Description of the Intensional Hierarchy James Laird
• Games and Higher-Order Linear Dataflows Lars Birkedal, Soren Debois and Thomas Hildebrandt

Session 2

• On the meaning of logical completeness Michele Basaldella and Kazushige Terui
• An Interactive Approach to Control in Proof Search: Preliminary Results Alexis Saurin
• Transition systems on a game graph Paul Blain Levy and Soren Lassen

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. Accordingly, we ask for submission of both short abstracts outlining what will be presented at the workshop and longer papers describing completed work, either published or unpublished.

The fourth GaLoP will be held in York (UK) between March 28 and 29 and will be part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2009).

Contributions are invited on all pertinent subjects. Typical (but not exclusive) areas are:

• games and categorical semantics,
• algorithmic aspects of games,
• programming languages and full abstraction,
• semantics of logics and proof systems,
• proof search,
• program verification and model checking,
• program analysis,
• theories of concurrency.

Publication

There will be no formal proceedings. In previous years, a special issue of the Annals of Pure and Applied Logic has been produced, and this possibility will be pursued again this year.

Important dates

• Workshop: March 28-29
• Submission: February 2
• Notification: February 9

Submission link

• EasyChair

Invited speakers

• Anuj Dawar, Cambridge
• James Laird, Bath

Program committee

• Ugo Dal Lago, Bologna
• Paul Levy, Birmingham
• Guy McCusker, Bath (co-chair)
• Dale Miller, Palaiseau
• Andrzej Murawski, Oxford (co-chair)
• Olivier Serre, Paris
• Nicolas Tabareau, Paris

Past events