GS PROGRAM
Days: Saturday, July 7th Sunday, July 8th
Saturday, July 7th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 23C
Chair:
Location: Maths LT3
| 09:00 | TBA (abstract) |
| 10:00 | "Operational'' Game Semantics (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 26C
Chair:
Location: Maths LT3
| 11:00 | Some reflections on algorithmic game semantics (abstract) |
| 11:30 | Strategies as sheaves on plays (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 28C
Chair:
Location: Maths LT3
| 14:00 | Game semantics: from call-by-push-value and CPS to coalgebra (abstract) |
| 14:30 | Incomplete information and uniformity in game semantics (abstract) |
| 15:00 | Asynchronous games fifteen years later (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 31C
Chair:
Location: Maths LT3
| 16:00 | Games and the Lambda Cube (abstract) |
| 16:30 | Games, Geometry of Interaction, Reversible Computations, Lambda Calculus (abstract) |
| 17:00 | Characterizing observational equivalence for PCF terms within richer languages (abstract) |
19:45-22:00 Workshops dinner at Balliol College
Workshops dinner at Balliol College. Drinks reception from 7.45pm, to be seated by 8:15 (pre-booking via FLoC registration system required; guests welcome).
Location: Balliol College
Sunday, July 8th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 34F
Chair:
Location: Maths LT3
| 09:00 | The Geometry of Parallelism: Probabilistic and Quantum Effects (abstract) |
| 09:30 | The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (abstract) |
| 10:00 | Coalgebras and Higher-Order Computation: a GoI Approach (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 38F
Chair:
Location: Maths LT3
| 11:00 | Making parallel-or deterministic again: intentional full abstraction for por (abstract) |
| 11:30 | Generalised Species of Plays (abstract) |
| 12:00 | Probabilistic strategies (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 40F
Chair:
Location: Maths LT3
| 14:00 | How to denotational an operational semantics (abstract) |
| 14:30 | What's in a game? (abstract) |
| 15:00 | Game Semantics 25 years on: from PCF to Java and C (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 42E
Chair:
Location: Maths LT3
| 16:00 | Continuous probability distributions in concurrent games (abstract) |
| 16:30 | A definable game semantics for the linear quantum lambda-calculus (abstract) |
| 17:00 | Resource-Tracking Concurrent Games (abstract) |
| 17:30 | Automata Theory and Game Semantics (abstract) |