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.

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 with a range of expertise 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

Submission Guidelines

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:

https://easychair.org/conferences/?conf=galop2025

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

• Submission Deadline: 7 May 2025, AoE.
• Notification: 21 May 2025.
• Workshop: 19-20 July 2025.

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

Committees

Program Committee

• Matteo Acclavio, University of Sussex, UK
• Peio Borthelle, Université Savoie Mont Blanc, France
• Benedict Bunting, University of Oxford, UK
• Claudia Faggian, CNRS and IRIF, France
• Naohiko Hoshino, Sojo University, Japan
• Jérémie Koenig, Yale University, USA
• James Laird, University of Bath, UK (co-chair)
• Koko Muroya, National Institute of Informatics, Japan
• Hugo Paquet, Inria and ENS, France (co-chair)
• Thomas Seiller, CNRS and LIPN, France
• Glynn Winskel, Queen Mary University of London, UK

GALOP Organizing Committee

• Pierre Clairambault, CNRS and Aix-Marseille Université, France
• Nikos Tzevelekos, Queen Mary University of London, UK
• Andrzej Murawski, University of Oxford, UK

Contact

Any questions about submissions may be emailed to the PC co-chairs: Hugo Paquet (hugo.paquet@inria.fr) or Jim Laird (j.d.laird@bath.ac.uk)