GALOP — PROGRAM
Days: Saturday, 18 July 2026 Sunday, 19 July 2026
Saturday, 18 July 2026
09:00-10:00
Keynote talk - Corina Cirstea
GALOP
Location:
C5.06
| 09:00-10:00 |
From Traces to Strategies, via Coalgebra (abstract) 60 min
1 University of Southampton
|
10:00-10:40
Coffee Break
GALOP
Location:
C5.06
10:40-12:20
Contributed Talks - Session 1
GALOP
Location:
C5.06
| 10:40-11:15 |
Contextual MetaML: Syntax and Full Abstraction (abstract) 35 min
1 University of Oxford
2 Nanyang Technological University
|
| 11:15-11:50 |
An operational approach to blindness for ground references in the pi-calculus (abstract) 35 min
1 ENS de Lyon, University of Bologna
|
| 11:50-12:20 |
The Game Semantics of Reachability Types (abstract) 30 min
1 Corpus Christi College, Cambridge
2 University of Oxford
|
12:20-14:30
Lunch
GALOP
Location:
C5.06
14:30-15:30
Joint keynote talk with ITRS - Simon Forest
GALOP
Location:
C5.06
| 14:30-15:30 |
Thin spans and their associated rigid intersection type system (abstract) 60 min
1 Loria & University of Lorraine
|
15:30-16:00
Coffee Break
GALOP
Location:
C5.06
16:00-17:40
Contributed Talks - Session 2
GALOP
Location:
C5.06
| 16:00-16:35 |
Tensorial logic with global stores (abstract) 35 min
1 CNRS
|
| 16:35-17:10 |
Infinitary Proof systems and Concurrent game semantics (abstract) 35 min
1 Aix Marseille Université
|
| 17:10-17:40 |
Sequential algorithms as a Dialectica interpretation (abstract) 30 min
1 INRIA - Nantes Université
|
Sunday, 19 July 2026
09:00-10:00
Joint keynote talk with TLLA - Hugo Paquet
GALOP
Location:
C5.06
| 09:00-10:00 |
Concurrency in linear and non-linear game semantics (abstract) 60 min
1 Inria & École Normale Supérieure
|
10:00-10:40
Coffee Break
GALOP
Location:
C5.06
10:40-12:20
Contributed Talks - Session 3
GALOP
Location:
C5.06
| 10:40-11:15 |
Seeking the primitive categorical structure of concurrent game semantics (abstract) 35 min
1 CNRS and Aix-Marseille Université
2 Inria & École Normale Supérieure
|
| 11:15-11:50 |
An Adjunction Between the Lens and the Int Construction in Categorical Game Semantics (abstract) 35 min
1 The University of Tokyo, Graduate School of Mathematical Sciences
|
| 11:50-12:20 |
Finitely partitioned trees (work in progress) (abstract) 30 min
1 University of Birmingham, UK
|
12:20-14:30
Lunch
GALOP
Location:
C5.06
14:30-15:30
Joint keynote talk with WPTE - Nikos Tzevelekos
GALOP
Location:
C5.06
| 14:30-15:30 |
Concurrency in linear and non-linear game semantics (abstract) 60 min
1 Queen Mary University of London
|
15:30-16:00
Coffee Break
GALOP
Location:
C5.06
16:00-17:40
Contributed Talks - Session 4
GALOP
Location:
C5.06
| 16:00-16:35 |
Takahashi's Gambit: Avoiding Context Lemmas in Operational Game Semantics (abstract) 35 min
1 University of Bologna
|
| 16:35-17:10 |
Unbounded data nesting for loops in higher-order programs (abstract) 35 min
1 University of Birmingham
2 University of Oxford
|
| 17:10-17:40 |
Energy Games for Generalized Equivalence Checking (abstract) 30 min
1 Télécom SudParis, Institut Polytechnique de Paris
|