# 14th Workshop on Games for Logic and Programming LanguagesGaLoP 2019

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.

This is an established ETAPS workshop, which has been running for the past 13 years.

### Accepted Papers

## Call for Papers

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.

GaLoP XIV will be held in Prague, Czech Republic, on 6-7 April 2019 as satellite workshop of ETAPS.

Areas of interest include:

- Games and other interaction-based denotational and operational models;
- Game-based program analysis and verification;
- Logics for games and games for logics;
- Algorithmic aspects of game semantics;
- Categorical aspects of game semantics;
- Programming languages and full abstraction;
- Higher-order automata and Petri nets;
- Geometry of interaction;
- Ludics;
- Epistemic game theory;
- Logics of dependence and independence;
- Computational linguistics;
- Games and multi-valued logics.

There will be no formal proceedings but the possibility of a special issue in a journal will be considered. (The 2005, 2008, 2011 and 2014 workshops led to special issues in Annals of Pure and Applied Logic.)

### 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=galop2019

### Invited Talks

Nathanaël Fijalkow (CNRS & LaBRI, Bordeaux)

Jules Hedges (University of Oxford)

Paul-André Melliès (CNRS & IRIF, Paris)

**Dates**

#### Sat 6 Apr Times are displayed in time zone: **Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna**

**Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna**

09:00 - 10:00Talk | Intertwining game theory and game semantics GaLoP | ||

10:00 - 10:30Talk | Universal property of the monad for infinite trace strategies (work in progress) GaLoP Paul Blain LevyUniversity of Birmingham, Sergey GoncharovFAU Erlangen-Nürnberg, Lehrstuhl 8, Lutz SchöderFAU Erlangen-Nürnberg, Lehrstuhl 8 |

11:00 - 11:30Talk | Characterizing Downwards Closed Strongly First Order Dependencies GaLoP Pietro GallianiFree University of Bozen-Bolzano | ||

11:30 - 12:00Talk | Logics for first-order definable team properties GaLoP |

13:30 - 14:30Talk | Model checking games: the recent advances on parity games GaLoP | ||

14:30 - 15:00Talk | A Framework for Compositional Model Checking GaLoP | ||

15:00 - 15:30Talk | Modalities as prices: a game model of intuitionistic linear logic with subexponentials GaLoP Timo LangVienna University of Technology, Chris FermüllerVienna University of Technology, Elaine PimentelFederal University of Rio Grande do Norte, Brazil, Carlos OlarteFederal University of Rio Grande do Norte, Brazil |

16:00 - 16:30Talk | Sequential algorithms and innocent strategies share the same execution mechanism GaLoP Pierre-Louis CurienUniv. Paris Diderot and INRIA Paris-Rocquencourt | ||

16:30 - 17:10Talk | A Dialectica-Like Interpretation of a Linear MSO on Infinite Words GaLoP |

#### Sun 7 Apr Times are displayed in time zone: **Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna**

**Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna**

09:00 - 10:00Talk | Template games: a homotopy model of differential linear logic GaLoP | ||

10:00 - 10:30Talk | Simple game semantics and Day convolution GaLoP Clovis EberhartNational Institute of Informatics, Japan, Tom HirschowitzUniv. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry, Alexis LaouarUniv. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS |

11:00 - 11:30Talk | A game semantics understanding of asynchronous multiparty session types subtyping GaLoP | ||

11:30 - 12:00Talk | Probabilistic Programming Inference via Intensional Semantics GaLoP |

13:30 - 14:00Talk | Full Abstraction for the Quantum Lambda-Calculus GaLoP | ||

14:00 - 14:30Talk | Some ideas for a finite geometry of interaction model of second-order MLL GaLoP | ||

14:30 - 15:00Talk | Bouncing Threads for Infinitary and Circular Proofs GaLoP | ||

15:00 - 15:30Talk | Towards Circular Proof Nets GaLoP |