FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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
Location: Maths LT3
09:00
TBA (abstract)
10:00
"Operational'' Game Semantics (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 26C
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
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
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
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
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
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)