[TYPES/announce] Call for contributions : GaLoP 17th @ FLoC 2026

[Guilhème Jaber]

Call For Contributions for the workshop

*Games for Logic and Programming Languages 17th*

Colocated with FLoC
July 18-19, 2026, Lisbon, Portugal

https://urldefense.com/v3/__https://galop-2026.lacl.fr__;!!IBzWLUs!QrE9GKLSUIMZ1VXLaCzwDh2K_2bEm7IRGtkz90qL0PCaaXc1y5GW8E9TUOuROFlR7oTqYGpwAZ2HPeaRboWdejzUBXBjGNhnyeQVNPs$  <https://urldefense.com/v3/__https://galop-2026.lacl.fr__;!!IBzWLUs!QrE9GKLSUIMZ1VXLaCzwDh2K_2bEm7IRGtkz90qL0PCaaXc1y5GW8E9TUOuROFlR7oTqYGpwAZ2HPeaRboWdejzUBXBjGNhnyeQVNPs$ >

--------------------------------------------------------------------------------------------------------------------------------

Dear Colleagues,

The 17th edition of the Games for Logic and Programming Language (GaLoP) 
will take place on the *18th and 19th of July *during FLoC.

This workshop 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, programming 
language semantics, or program verification.

This year invited speakers will be :
• Corina Cirstea (University of Southampton) : /From Traces to 
Strategies, via Coalgebra./
• Nikos Tzevelokos (Queen Mary University of London) : /Fully Abstract 
Normal Bisimulation for Call-by-Value PCF/.
• Simon Forest (Loria) : /Thin spans and their associated rigid 
intersection type system//./
• Hugo Paquet (ENS Paris) : /Concurrency in linear and non-linear game 
semantics./
To make it a cross event we are pleased to announce that our last three 
invited speakers will be joint with WPTE, TLLA and ITRS respectively!

/*The rest of the program is waiting for your contributions!*/

For more information, see https://urldefense.com/v3/__https://galop-2026.lacl.fr__;!!IBzWLUs!QrE9GKLSUIMZ1VXLaCzwDh2K_2bEm7IRGtkz90qL0PCaaXc1y5GW8E9TUOuROFlR7oTqYGpwAZ2HPeaRboWdejzUBXBjGNhnyeQVNPs$  
<https://urldefense.com/v3/__https://galop-2026.lacl.fr__;!!IBzWLUs!QrE9GKLSUIMZ1VXLaCzwDh2K_2bEm7IRGtkz90qL0PCaaXc1y5GW8E9TUOuROFlR7oTqYGpwAZ2HPeaRboWdejzUBXBjGNhnyeQVNPs$ > and below

Best wishes,
Aurore Alcolei and Guilhème Jaber

--------------------------------------------------------------------------------------------------------------------------------*
*


*Importante Dates*

• Submission deadline : 6 May 2026, AoE.
• Author Notication : 26 May 2026.
• Workshop : 18-19 July 2026.

*Topics of interest *

- 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
- Other topics related to formal models for program interaction

*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://submissions.floc26.org/galop/__;!!IBzWLUs!QrE9GKLSUIMZ1VXLaCzwDh2K_2bEm7IRGtkz90qL0PCaaXc1y5GW8E9TUOuROFlR7oTqYGpwAZ2HPeaRboWdejzUBXBjGNhncAQTLT4$  
<https://urldefense.com/v3/__https://submissions.floc26.org/galop/__;!!IBzWLUs!QrE9GKLSUIMZ1VXLaCzwDh2K_2bEm7IRGtkz90qL0PCaaXc1y5GW8E9TUOuROFlR7oTqYGpwAZ2HPeaRboWdejzUBXBjGNhncAQTLT4$ >
• Supplementary material may be submitted and will be considered at the 
discretion of the PC.

*Contact:

*- Any questions about submissions may be emailed to the PC co-chairs:
Aurore Alcolei (aurore.alcolei at lacl.fr <mailto:aurore.alcolei at lacl.fr>) 
or Guilhème Jaber (guilhem.jaber at univ-nantes.fr 
<mailto:guilhem.jaber at univ-nantes.fr>)

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