15th Workshop on

Games for Logic and Programming Languages

An ETAPS 2020 Workshop

25-26 April 2020, Dublin, Ireland

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.

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=galop2020

Important Dates

  • Submission: February 7, 2020
  • Notification: February 28, 2020
  • Workshop: April 24-25, 2020

Invited talks

  • Zhong Shao (Yale University): Certified Abstraction Layers as Games: A Unifying Framework for Composing Heterogeneous Components.
  • Ugo Dal Lago (University of Bologna): Differential Program Semantics

Program committee

  • Simon Castellan (Imperial College, co-chair)
  • Guy McCusker (University of Bath, co-chair)
  • Tom Hirschowitz (CNRS & Universit√© Savoie)
  • Guilhem Jaber (Universit√© de Nantes)
  • Paul Levy (University of Birmingham)
  • Andrzej Murawski (University of Oxford)
  • Hugo Paquet (University of Oxford)