Games for Logic and Programming Languages XIII

14-15 April 2018, Thessaloniki, Greece

An ETAPS-affiliated 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.

Submission Instructions

Please submit an abstract (up to one page, excluding bibliography) of your proposed talk on the EasyChair submission page below. Supplementary material may be submitted, and will be considered at the discretion of the PC.

The important dates are:

  • Submission: 22 January 2018 (Extended to 29 January 2019)
  • Notification: 12 February 2018
  • Workshop: 14-15 April 2018


Follow this link

Invited Speakers


Saturday, April 14

08.45 – 09.00: Welcome

09.00 – 10.00: Invited Talk (chair: Ugo Dal Lago)

Matteo Mio. A Random Walk on Games.

I will discuss some basic ideas of the theory of infinite games (from set--theory) and some very early ideas of game semantics (from computer science) that, together, inspired my own work on stochastic games.

10.00 – 10.30: Coffee Break

10.30 – 12.30: Session 1 (chair: Ugo Dal Lago)

Simon Castellan, Pierre Clairambault and Nobuko Yoshida. Using session types to understand the gap between synchronous syntaxes and asynchronous game semantics.

Jules Hedges and Josef Bolt. Bisimulations of open games

Guilhem Jaber and Nikos Tzevelekos. An overview of game semantics for polymorphism

12.30 – 14.00: Lunch

14.00 – 16.00: Session 2

Pietro Galliani. Safe Dependency Atoms for Logics with Team Semantics

Gabriel Sandu. Causal and counterfactual dependence on probabilistic causal teams

Fausto Barbero. Counterfactual logic over teams

16.00 – 16.30: Coffee Break

16.30 – 17.50: Session 3

Ondrej Majer and Christian Fermüller. On the Expressivity of the Propositional Fragment of Independence Friendly Logic

Christian Fermüller and Timo Lang. Interpretpreting Substructural Logics by Games of Information Extraction

Sunday, April 15

09.00 – 10.00: Invited Talk

Ulrich Schoepp. The Geometry of Interaction as a Module System.

The Geometry of Interaction (GoI) was originally introduced by Girard in the context of Linear Logic. A number of its recent applications concern the interpretation and analysis of functional programming languages, with applications ranging from hardware synthesis to quantum computation. In this talk I will argue that for such programming-language applications it is useful to understand the GoI as a module system in the style of Standard ML. The structure of particle-style GoI models is naturally expressed by such a module system. This view provides a familiar formalism for working with the GoI that abstracts from inessential implementation details and that is convenient for implementation tasks. With this view, the GoI becomes a method of implementing ML-style module systems for a wide range of first-order programming languages. It can be considered as a higher-order generalisation of systems-level linking. The relation between the GoI and the proposed module system is established by a linear version of the F-ing modules approach of Rossberg, Russo and Dreyer that uses as new decomposition of the exponential rules of Linear Logic.

10.00 – 10.30: Coffee Break

10.30 – 12.30: Session 4 (chair: Simon Castellan)

Pierre Clairambault and Hugo Paquet. Comparing Strategies and Böhm Trees in a Probabilistic Setting

Paul Blain Levy. Finite play nondeterministic strategies form a final coalgebra

Pierre Clairambault, Marc de Visme, Frank Roumen and Glynn Winskel. Quantum Game Semantics

12.30 – 14.00: Lunch

14.00 – 16.00: Session 5 (chair: Nikos Tzevelekos)

Thomas Cuvillier. A semantic criterion for MLL and MALL full-completeness

Ian Mackie. Conservation of Data

Raphaëlle Crubillé and Ugo Dal Lago. Towards Higher-Order Cryptography.

16.00 – 16.30: Coffee Break

16.30 – 18:00: Session 6

Matteo Mio. A Random Walk on Games (the invited talk which was supposed to be given on April 14th at 9.00).

William Gowers. A unified approach to the semantics of effects

Programme Committee