[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 in Lisbonhttps://urldefense.com/v3/__https://galop-2026.lacl.fr__;!!IBzWLUs!T_PmAgrHkZnTEPs-LIz6po1FxxXbGvLN0bp6h5S8JbT1sgUGDJ2PoVvz4Fp_jW3yQT0fF4J9QHITILXhOvKYvYwaajafcUIDCBozRrI$ 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. The workshop will have four keynote talks, by:• 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/. (joint with WPTE) • Simon Forest (Loria) : /Thin spans and their associated rigid intersection type system/. (joint with ITRS) • Hugo Paquet (ENS Paris) : /Concurrency in linear and non-linear game semantics/. (joint with TLLA)
as well as twelve contributed presentations:• Haoxuan Yin, Andrzej Murawski, Luke Ong: /Contextual MetaML: Syntax and Full Abstraction/
• Valentin Blot: /Sequential algorithms as a Dialectica interpretation/• Benedict Bunting, Andrzej Murawski: /The Game Semantics of Reachability Types/ • Iwan Quémerais: /An operational approach to blindness for ground references in the pi-calculus/ • Adriana Baldacchino, Andrzej Murawski: /Unbounded data nesting for loops in higher-order programs/
• Paul-André Melliès: /Tensorial logic with global stores/• Sayna Behnia: Infinitary /Proof systems and Concurrent game semantics/ • Pierre Clairambault, Hugo Paquet: /Seeking the primitive categorical structure of concurrent game semantics/
• Benjamin Bisping: /Energy Games for Generalized Equivalence Checking/• Sangwoo Kim: /An Adjunction Between the Lens and the Int Construction in Categorical Game/ • Adrienne Lancelot: /Takahashi's Gambit: Avoiding Context Lemmas in Operational Game Semantics/
• Paul Blain Levy: /Finitely partitioned trees (work in progress)/ Best wishes, Aurore Alcolei and Guilhème Jaber
