GaLoP 2026
17th Workshop on Games for Logic and Programming Languages

About the Workshop

GALOP is an international workshop on formal models for program interaction. It has a broad interest, in both the foundational aspects of these models as well as their practical applications. This year GaLoP is co-located with FLoC 2026.

The central focus of GALOP is game semantics, a set of techniques used to represent the interaction of a program and its environment as a formal game. This is a powerful framework for reasoning about programs and interactive systems, and game semantics is relevant to many aspects of programming language theory. Game semantics also has deep connections to logic and other fields of mathematics.

Scope. GALOP aims to gather researchers who share an interest in reasoning about the interactive behaviour of programs using formal mathematical methods, in any context including proof theory, denotational semantics, or program verification. Specific 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
• Connections between games and other forms of denotational models
• Compositional certification of programs and interactive program behaviour

The first GALOP was held in 2005. Some information about previous editions can be found on the following pages: 2025, 2024, 2020-2011, 2010, 2009, 2008.

Invited Speakers

• Corina Cirstea, University of Southampton,

Traces via strategies in two-player games.

• Nikos Tzevelokos, Queen Mary University of London,

Fully Abstract Normal Form Bisimulation for Call-by-Value PCF.

Workshop Program

Saturday 18 July

TBA

Sunday 19 July

TBA

Submission information

Authors are asked to submit an abstract (up to 2 pages) describing a talk which they would give at the workshop, at the following address:

Supplementary material may be submitted and will be considered at the discretion of the PC.

• Submission Deadline: 6 May 2026, AoE.
• Notification: 26 May 2026.
• Workshop: 18-19 July 2026.

This is an informal workshop that welcomes submissions of work in progress, overviews of larger projects, programmatic or position papers, and propositions of tutorials.

Program Committee

• Aurore Alcolei, Université Paris Est Créteil, France. (co-chair)
• Lison Blondeau-Patissier, ENS Lyon, France.
• Francesco Gavazzo, University of Padua, Italy.
• Guilhème Jaber, Nantes Université, France. (co-chair)
• Adrienne Lancelot, University of Bologna, Italy.
• Paul Blain Levy, University of Birmingham, UK.
• Guy McCusker, University of Bath, UK.
• Arthur Oliveira Vale, Yale University, USA.
• Ken Sakayori, UTokyo, Japan.
• Gabriele Vanoni, Paris Cité, France.