Games for Logic and Programming Languages X

11-12 April 2015, London, UK.

An ETAPS 2015 workshop

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.

Special Session

  • Samson Abramsky (Oxford)
  • Pierre-Louis Curien (Paris)
  • Luke Ong (Oxford)

Invited speakers

  • Paul Blain Levy (Birmingham)
  • Nikos Tzevelekos (London)

Tutorial talk

  • Andrzej Murawski (Warwick)

Preliminary Programme

Saturday 11th April

9.30 - 9.45 Welcome

9.45 - 10.30 Pierre-Louis Curien (Special session)

11.00 - 11.45 Luke Ong (Special session)

11.45 - 12.30 Samson Abramsky (Special session)

2.00 - 2.30 Andrzej Murawski (Tutorial talk)

2.30 - 3.00 Parallelism and Synchronization in an Infinitary Context -- Ugo Dal Lago, Claudia Faggian, Benoît Valiron and Akira Yoshimizu

3.00 - 3.30 Multitoken Geometry of Interaction and Multimove Games -- Yann Hamdaoui

3.30 - 4.00 A game semantics for fork(II) -- Simon Castellan

4.30 - 5.00 Coloured tensorial logic and higher-order model-checking -- Charles Grellois and Paul-André Melliès

5.00 - 5.30 Some Monoidal Fibrations of Tree Automata -- Colin Riba

5.30 - 6.00 Distributive laws and finitary Game Semantics of Linear Logic -- Clément Jacq and Paul-André Melliès

Sunday 12th April

9.00 - 10.00 Paul Blain Levy (Invited talk)

10.00 - 10.30 Game Semantics for Bounded Polymorphism -- James Laird

11.00 - 11.30 A Characterization of Ludics in Game Semantics -- Christophe Fouquere and Myriam Quatrini

11.30 - 12.00 Internal Completeness in Nonlinear Ludics -- Alice Pavaux

12.00 - 12.30 Least and Greatest Fixed Points in Ludics -- David Baelde, Amina Doumane and Alexis Saurin

2.00 - 3.00 Nikos Tzevelekos (Invited talk)

3.00 - 3.30 Reasoning on Equivalence of Stateful Programs: A Marriage of Game Semantics and Operational Techniques -- Guilhem Jaber

3.30 - 4.00 Caring but not knowing. On preplay communication in infinite games -- Dietmar Berwanger and Marie Van Den Bogaard

4.30 - 5.00 Positional interpretation of Peano arithmetic with winning strategies -- Valentin Blot

5.00 - 5.30 Realizability games for arithmetical formulæ -- Étienne Miquey

5.30 - 6.00 Game Semantics: A Paraconsistent Approach -- Can Baskent

Programme Committee

  • Pierre Clairambault, Lyon (Chair)
  • Dan Ghica, Birmingham
  • Tom Hirschowitz, Chambéry
  • Naohiko Hoshino, Kyoto
  • Luke Ong, Oxford
  • Gabriel Sandu, Helsinki
  • Ulrich Schöpp, Munich