[TYPES/announce] Deadline extension to May 15th : GaLoP 17th @ FLoC 2026

[Aurore Alcolei]

Final 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!Rc7L6sZ17DtVuNF39Q8VzqI7Ev9IOryKaxAscwWKAfwrgKvEjbhudLgpdvw62BV4lx5KsXSc43BlelezAXxgLRirBYQUdUmNbGujjpgbAQ$ 

*Deadline extension to May 15th*


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

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,
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) : /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, ITRS and TLLA 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!Rc7L6sZ17DtVuNF39Q8VzqI7Ev9IOryKaxAscwWKAfwrgKvEjbhudLgpdvw62BV4lx5KsXSc43BlelezAXxgLRirBYQUdUmNbGujjpgbAQ$  and below

Best wishes,
Aurore Alcolei and Guilhème Jaber

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

*Importante Dates*

    • *Submission deadline :6 May 2026, AoE. 15 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!Rc7L6sZ17DtVuNF39Q8VzqI7Ev9IOryKaxAscwWKAfwrgKvEjbhudLgpdvw62BV4lx5KsXSc43BlelezAXxgLRirBYQUdUmNbGs7cLatJg$ 
    • 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) or Guilhème Jaber 
(guilhem.jaber at univ-nantes.fr)



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