ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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

Title
A Dialectica-Like Interpretation of a Linear MSO on Infinite Words
GaLoP
A Framework for Compositional Model Checking
GaLoP
A game semantics understanding of asynchronous multiparty session types subtyping
GaLoP
Bouncing Threads for Infinitary and Circular Proofs
GaLoP
Characterizing Downwards Closed Strongly First Order Dependencies
GaLoP
Full Abstraction for the Quantum Lambda-Calculus
GaLoP
Logics for first-order definable team properties
GaLoP
Modalities as prices: a game model of intuitionistic linear logic with subexponentials
GaLoP
Probabilistic Programming Inference via Intensional Semantics
GaLoP
Sequential algorithms and innocent strategies share the same execution mechanism
GaLoP
Simple game semantics and Day convolution
GaLoP
Some ideas for a finite geometry of interaction model of second-order MLL
GaLoP
Towards Circular Proof Nets
GaLoP
Universal property of the monad for infinite trace strategies (work in progress)
GaLoP

Call for Papers

http://www.gamesemantics.org

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
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
IGaLoP at S3
09:00
60m
Talk
Intertwining game theory and game semantics
GaLoP
I: Jules Hedges University of Oxford
10:00
30m
Talk
Universal property of the monad for infinite trace strategies (work in progress)
GaLoP
Paul Blain Levy University of Birmingham, Sergey Goncharov FAU Erlangen-Nürnberg, Lehrstuhl 8, Lutz Schröder FAU Erlangen-Nürnberg, Lehrstuhl 8
11:00 - 12:00
IIGaLoP at S3
11:00
30m
Talk
Characterizing Downwards Closed Strongly First Order Dependencies
GaLoP
Pietro Galliani Free University of Bozen-Bolzano
11:30
30m
Talk
Logics for first-order definable team properties
GaLoP
Juha Kontinen , Fan Yang University of Helsinki
13:30 - 15:30
IIIGaLoP at S3
13:30
60m
Talk
Model checking games: the recent advances on parity games
GaLoP
I: Nathanaël Fijalkow CNRS, LaBRI, and Alan Turing Institute
14:30
30m
Talk
A Framework for Compositional Model Checking
GaLoP
Yu-Yang Lin Queen Mary University of London, Nikos Tzevelekos Queen Mary University of London
15:00
30m
Talk
Modalities as prices: a game model of intuitionistic linear logic with subexponentials
GaLoP
Timo Lang Vienna University of Technology, Chris Fermüller Vienna University of Technology, Elaine Pimentel Federal University of Rio Grande do Norte, Brazil, Carlos Olarte Federal University of Rio Grande do Norte, Brazil

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
VGaLoP at S3
09:00
60m
Talk
Template games: a homotopy model of differential linear logic
GaLoP
I: Paul-André Melliès CNRS and University Paris Diderot
10:00
30m
Talk
Simple game semantics and Day convolution
GaLoP
Clovis Eberhart National Institute of Informatics, Japan, Tom Hirschowitz Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry, Alexis Laouar Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS
11:00 - 12:00
VIGaLoP at S3
11:00
30m
Talk
A game semantics understanding of asynchronous multiparty session types subtyping
GaLoP
Simon Castellan , Alceste Scalas Aston University, Nobuko Yoshida Imperial College London
11:30
30m
Talk
Probabilistic Programming Inference via Intensional Semantics
GaLoP
Simon Castellan Imperial College London, UK, Hugo Paquet University of Cambridge
16:00 - 18:00
VIIIGaLoP at S3