[TYPES/announce] GALOP 2025 call for contributions

[Hugo Paquet]

Call For Contributions – GALOP 2025 
16th Workshop on Games for Logic and Programming Languages 
Affiliated with FSCD 2025 – Birmingham, UK, July 19-20, 2025
https://urldefense.com/v3/__https://galop2025.di.ens.psl.eu/__;!!IBzWLUs!X_RTkXYxoBDCWCKxADdyj1aIDknUTK11V9_oXv5vMNCzWwNwZ7L9gKl2o7c7aUykdP43Yk-gu_8ocU0rLhPb06sKwnZAOC1TjO6a$ 
Submission deadline: May 7, 2025
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://urldefense.com/v3/__https://easychair.org/conferences/?conf=galop2025__;!!IBzWLUs!X_RTkXYxoBDCWCKxADdyj1aIDknUTK11V9_oXv5vMNCzWwNwZ7L9gKl2o7c7aUykdP43Yk-gu_8ocU0rLhPb06sKwnZAOCasueEK$ 

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

- Submission Deadline: May 7, 2025, AoE.
- Notification: May 21, 2025.
- Workshop: July 19-20, 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.

# 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 at inria.fr <mailto:hugo.paquet at inria.fr>) or Jim Laird (j.d.laird at bath.ac.uk <mailto:j.d.laird at bath.ac.uk>).


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250423/9add2559/attachment-0001.htm>