About
GALOP is an international workshop on formal models for compositional program interaction and their applications. The first GALOP was held in 2005 and there have been 14 occurrences since. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials.
At the heart of GALOP is game semantics, a theory rooted in denotational semantics that models the interaction between a program and an arbitrary context as a formal game. As the mathematics of interaction between agents, games are a powerful mathematical language to represent interactive systems.
Scope
GALOP aims to gather researchers with a range of expertise who share an interest in reasoning about the interactive behaviour of programs, with a focus on semantics, formal models and compositionality. Areas of interest include, but are not limited to:
- Games and other interaction-based denotational models
- Game-based program analysis and verification
- Logics for games and games for logics
- Algorithmic aspects of game semantics
- Categorical aspects of game semantics
- Geometry of interaction and Ludics
- Taylor expansion of programs and intersection type systems
- Relational models and their categorifications
- String diagrams and compositionality
- Open and normal form bisimulation
- Trace semantics
- Compositional program certification and certification of interactive program behaviour
Registration
Registration is now open at https://popl24.sigplan.org/attending/registration
Call for Papers
15th Workshop on Games for Logic and Programming Languages (GALOP 2024)
London, UK, 14 January 2024
Affiliated with POPL 2024
https://popl24.sigplan.org/home/galop-2024
GALOP is an international workshop on formal models for compositional program interaction 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, but are not limited to:
- Games and other interaction-based denotational models;
- Game-based program analysis and verification;
- Logics for games and games for logics;
- Algorithmic aspects of game semantics;
- Categorical aspects of game semantics;
- Geometry of interaction and Ludics;
- Taylor expansion of programs and intersection type systems;
- Relational models and their categorifications;
- String diagrams and compositionality;
- Open and normal form bisimulation;
- Trace semantics;
- Compositional program certification and certification of interactive program behaviour.
There will be no formal proceedings but the possibility of a special issue in a journal will be considered (the 2005, 2008 and 2011 workshops led to special issues in Annals of Pure and Applied Logic).
Submission Instructions
Please submit an abstract (up to 2 pages) of your proposed talk on the submission page below. Supplementary material may be submitted, and will be considered at the discretion of the PC.
Important Dates
- Submission: 3 November 2023
- Notification: 17 November 2023
- Workshop: 14 January 2024
Invited Speakers
- Ugo Dal Lago, University of Bologna; Inria
- Zhong Shao, Yale University
Program Committee
- Aurore Alcolei, Inria Rennes
- Pierre Clairambault, CNRS & LIS, Aix-Marseille Université (co-chair)
- Dan Ghica, Huawei
- Guilhem Jaber, Nantes Université
- Jim Laird, University of Bath
- Paul-André Melliès, CNRS; Université de Paris
- Andrzej Murawski, University of Oxford
- Hugo Paquet, LIPN, Université Sorbonne Paris Nord
- Nikos Tzevelekos, Queen Mary University of London (co-chair)
- Yannick Zakowski, Inria