
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><pre><font face="Helvetica"><b>Call For Contributions – GALOP 2025 </b></font></pre><pre><font face="Helvetica"><b>16th Workshop on Games for Logic and Programming Languages </b></font></pre><pre><pre style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font face="Helvetica">Affiliated with FSCD 2025 – Birmingham, UK, July 19-20, 2025</font></pre><pre style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><a href="https://urldefense.com/v3/__https://galop2025.di.ens.psl.eu/__;!!IBzWLUs!X_RTkXYxoBDCWCKxADdyj1aIDknUTK11V9_oXv5vMNCzWwNwZ7L9gKl2o7c7aUykdP43Yk-gu_8ocU0rLhPb06sKwnZAOC1TjO6a$" style="font-size: 14px;"><font face="Helvetica">https://galop2025.di.ens.psl.eu/</font></a></pre></pre><pre><font face="Helvetica"><b>Submission deadline</b>: May 7, 2025</font></pre><div><div>GALOP is an international workshop on formal models for program interaction. It has a</div><div>broad interest, in both the foundational aspects of these models as well as their<br>practical applications.<br><br>The central focus of GALOP is game semantics, a set of techniques used to represent the<br>interaction of a program and its environment as a formal game. This is a powerful<br>framework for reasoning about programs and interactive systems, and game semantics is<br>relevant to many aspects of programming language theory. Game semantics also has deep<br>connections to logic and other fields of mathematics.<br><br><b>Scope:</b> GALOP aims to gather researchers with a range of expertise who share an interest in<br>reasoning about the interactive behaviour of programs using formal mathematical<br>methods, in any context including proof theory, denotational semantics, or program<br>verification. Specific areas of interest include, but are not limited to:<br><br>- Games and other interaction-based denotational models<br>- Game-based program analysis and verification<br>- Logics for games and games for logics<br>- Algorithmic aspects of game semantics<br>- Categorical aspects of game semantics<br>- Geometry of interaction and ludics<br>- Taylor expansion of programs and intersection type systems<br>- Relational models and their categorifications<br>- String diagrams and compositionality<br>- Open and normal form bisimulation<br>- Trace semantics<br>- Connections between games and other forms of denotational models<br>- Compositional certification of programs and interactive program behaviour<br><br># Submission Guidelines:<div><br>Authors are asked to submit an abstract (up to 2 pages) describing a talk which they<br>would give at the workshop, at the following address:<br><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=galop2025__;!!IBzWLUs!X_RTkXYxoBDCWCKxADdyj1aIDknUTK11V9_oXv5vMNCzWwNwZ7L9gKl2o7c7aUykdP43Yk-gu_8ocU0rLhPb06sKwnZAOCasueEK$">https://easychair.org/conferences/?conf=galop2025</a><br><br>Supplementary material may be submitted and will be considered at the discretion of the<br>PC.<br><br>- Submission Deadline: May 7, 2025, AoE.<br>- Notification: May 21, 2025.<br>- Workshop: July 19-20, 2025.<br><br>This is an informal workshop that welcomes submissions of work in progress, overviews of<br>larger projects, programmatic or position papers, and propositions of tutorials.<br><br># Program Committee:<br><br>- Matteo Acclavio, University of Sussex, UK<br>- Peio Borthelle, Université Savoie Mont Blanc, France<br>- Benedict Bunting, University of Oxford, UK<br>- Claudia Faggian, CNRS and IRIF, France<br>- Naohiko Hoshino, Sojo University, Japan<br>- Jérémie Koenig, Yale University, USA<br>- James Laird, University of Bath, UK (co-chair)<br>- Koko Muroya, National Institute of Informatics, Japan<br>- Hugo Paquet, Inria and ENS, France (co-chair)<br>- Thomas Seiller, CNRS and LIPN, France<br>- Glynn Winskel, Queen Mary University of London, UK<br><br># GALOP Organizing Committee:<div><br>- Pierre Clairambault, CNRS and Aix-Marseille Université, France<br>- Nikos Tzevelekos, Queen Mary University of London, UK<br>- Andrzej Murawski, University of Oxford, UK<br><br># Contact:</div><div><br>Any questions about submissions may be emailed to the PC co-chairs: Hugo Paquet<br>(<a href="mailto:hugo.paquet@inria.fr">hugo.paquet@inria.fr</a>) or Jim Laird (<a href="mailto:j.d.laird@bath.ac.uk">j.d.laird@bath.ac.uk</a>).</div></div></div></div><div><br></div><div><br></div></body></html>