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.
https://easychair.org/conferences/?conf=galop2018
The important dates are:
- Submission: 22 January 2018 (Extended to 29 January 2019)
- Notification: 12 February 2018
- Workshop: 14-15 April 2018
Registration
Invited Speakers
Programme
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