[TYPES/announce] GALOP 2025 — second CFP (extended deadline and invited speakers)

[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!WmbGNzyyfnBjd8C15Z3x9CnS4nSGdjpRmpMXBRK_raAPlE_aOd01XocJxBCZLOMdZWpnGO9QANanac9yq6CITiv1WMjIv5SbvdTo$ 
Extended submission deadline: May 21, 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.

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!WmbGNzyyfnBjd8C15Z3x9CnS4nSGdjpRmpMXBRK_raAPlE_aOd01XocJxBCZLOMdZWpnGO9QANanac9yq6CITiv1WMjIv5BwrPYX$ 

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

- Submission Deadline: (EXTENDED) May 21, 2025, AoE.
- Notification: June 4, 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.

# Invited Speakers 

- Adrienne Lancelot, Inria, École Polytechnique and Université Paris Cité, IRIF
- Paul Blain Levy, University of Birmingham

# 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/20250508/3bb8a915/attachment.htm>