Games for Logic and Programming Languages V

Programme

Saturday, March 20th

Session 1: 9.30-10.30

• Invited talk: Games on Infinite Domains and Approximation. Jean Goubault-Larrecq

Session 2: 11.00-12.30

• Understanding Game Semantics through Coherence Spaces. Ana C. Calderon and Guy McCusker
• Type Systems for Control of Pipelining. Dan Ghica (1h talk)

Lunch

Session 3: 14.30-16.00

• Invited talk: On Wadge Reducibility. Jacques Duparc
• The lambda lambda-bar calculus: a calculus for static, fine grained control of the view. Alexis Goyet

Session 4: 16.30-17.30

• Game semantics and normalization. Pierre Clairambault
• Realizability for games. Olivier Laurent

Sunday, March 21st

Session 1: 9.00-10.30

• Invited talk: Ludics and interactive completeness. Kazushige Terui
• Graphs of Interaction : Multiplicatives. Thomas Seiller

Session 2: 11.00-12.00

• Incarnation in Ludics and maximal cliques. Christophe Fouqueré and Myriam Quatrini
• Pointer game semantics for polymorphism. Paul Blain Levy and Soren B. Lassen

Lunch

Session 3: 14.30-16.00

• Invited talk: Who needs semaphores? Full abstraction without synchronization. Andrzej Murawski
• Algorithmic Game Semantics and Symbolic Execution. David Hopkins and Luke Ong

Session 4: 16.30-17.00

• AJM-games revisited. Nikos Tzevelekos and Samson Abramsky

Call for Papers

Call for Participation

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 fifth GaLoP will be held in Paphos (Cyprus) between March 20 and 21 and will be part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2010).

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.

• APAL volume 151(2-3): special issue dedicated to GaLop I
• APAL volume 161(5): special issue dedicated to GaLop III

Invited speakers

• Jacques Duparc, Lausanne
• Jean Goubault-Larrecq, Cachan
• Andrzej Murawski, Oxford
• Kazushige Terui, Kyoto

Program committee

• Thierry Coquand, Göteborg
• Claudia Faggian, Paris (co-chair)
• Olivier Laurent, Lyon (co-chair)
• Pasquale Malacaria, London
• Luke Ong, Oxford
• Alexis Saurin, Paris
• Igor Walukiewicz, Bordeaux
• Nobuko Yoshida, London

Past events

• GaLoP IV
• GaLoP III
• GaLoP II
• GaLoP I