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.

Call for Papers

14th Workshop on Games for Logic and Programming Languages (GaLoP 2019), Pargue, Czech Republic, 6-7 April, 2019

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 (http://www.etaps.org/).

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.)

The submission instructions, important dates, program committee and invited speakers will be annouced later.