[TYPES/announce] Call for Contributions : GaLoP 16th @ FLoC 2026

[Adrienne Lancelot]

Call For Contributions for the workshop 

Games for Logic and Programming Languages 16th 

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

[ https://urldefense.com/v3/__https://galop-2026.lacl.fr/__;!!IBzWLUs!QrgMMDjXuCtQ5btNUOTSSoUoQ-pRrY1ajEwoqsDqXCfog1AyaI04kPGjj4Ubca4Kj5N31HXIEo-2N1lwwwGCeHtP9REOhKj8Ztac37MOwu0$  | https://urldefense.com/v3/__https://galop-2026.lacl.fr__;!!IBzWLUs!QrgMMDjXuCtQ5btNUOTSSoUoQ-pRrY1ajEwoqsDqXCfog1AyaI04kPGjj4Ubca4Kj5N31HXIEo-2N1lwwwGCeHtP9REOhKj8ZtacWYyKKYw$  ] 

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

Dear Colleagues, 

The 16th 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, denotational 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) : TBA. 
• Hugo Paquet (ENS Paris) : TBA. 
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!QrgMMDjXuCtQ5btNUOTSSoUoQ-pRrY1ajEwoqsDqXCfog1AyaI04kPGjj4Ubca4Kj5N31HXIEo-2N1lwwwGCeHtP9REOhKj8Ztac37MOwu0$  | 
            https://urldefense.com/v3/__https://galop-2026.lacl.fr__;!!IBzWLUs!QrgMMDjXuCtQ5btNUOTSSoUoQ-pRrY1ajEwoqsDqXCfog1AyaI04kPGjj4Ubca4Kj5N31HXIEo-2N1lwwwGCeHtP9REOhKj8ZtacWYyKKYw$  ] and below 

Best wishes, 
Aurore Alcolei and Guilhème Jaber 

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




Important 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!QrgMMDjXuCtQ5btNUOTSSoUoQ-pRrY1ajEwoqsDqXCfog1AyaI04kPGjj4Ubca4Kj5N31HXIEo-2N1lwwwGCeHtP9REOhKj8ZtacAJ2LzCk$  | https://urldefense.com/v3/__https://submissions.floc26.org/galop/__;!!IBzWLUs!QrgMMDjXuCtQ5btNUOTSSoUoQ-pRrY1ajEwoqsDqXCfog1AyaI04kPGjj4Ubca4Kj5N31HXIEo-2N1lwwwGCeHtP9REOhKj8ZtacAJ2LzCk$  ] 
• 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 ( [ mailto:aurore.alcolei at lacl.fr | aurore.alcolei at lacl.fr ] ) or Guilhème Jaber ( [ mailto:guilhem.jaber at univ-nantes.fr | guilhem.jaber at univ-nantes.fr ] ) 


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260406/0effd265/attachment.htm>