Games for Logic and Programming Languages IX

12-13 April 2014, Grenoble, France -- part of ETAPS

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.

Invited speakers

• Glynn Winskel (Cambridge)
• Ulrich Schöpp (Munich)
• Tomáš Kroupa (Prague)

Preliminary Programme

Saturday 12th April

9.15 - Welcome

9.30 - 10.30 Glynn Winskel (Invited Talk)

11.00 - 11.45 Fully Abstract Concurrent Games for Pi -- Clovis Eberhart, Tom Hirschowitz and Thomas Seiler

11.45 - 12.30 Concurrent Hyland-Ong Games -- Pierre Clairambault

2.00 - 3.00 Tomáš Kroupa (Invited Talk)

3.00 - 3.45 A Game Semantics Approach to Complexity -- Hugo Férée

4.15 - 5.00 Game Semantics for Interface Middleweight Java -- Andrzej Murawski and Nikos Tzevelekos

5.00 - 5.45 Building Simple Languages with the Power of References -- Alexis Goyet

Sunday 13th April

9.00 - 10.00 Ulrich Schöpp (Invited Talk)

10.00 -10.45 Compositionality for Transition Systems Over Games -- Paul Blain Levy and Sam Staton

11.15 - 12.00 An interactive semantics for classical arithmetic -- Michele Basaldella

12.00 - 12.45 Realizability, Testing and Game Semantics -- Rodolphe Lepigre

2.15 - 3.00 Type Theory in Ludics -- Eugenia Sironi

3.00 - 3.45 Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects -- Naohiko Haoshiko, Koko Muroya and Ichiro Hasuo

Program committee

• Pierre Clairambault, ENS Lyon
• Dan Ghica, Birmingham
• Ichiro Hasuo, Tokyo
• Gabriel Sandu, Paris
• Jim Laird, Bath (chair)
• John Longley, Edinburgh
• Alexis Saurin, Paris