[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 ([email protected]) or Guilhème Jaber
([email protected])
