GALOP on Thursday, August 10th

Session 1: Invited Talk (09:30‑10:30)

09:30‑10:30

Luke Ong (Oxford University) A game semantic approach to infinite structures [pdf]

Break (10:30‑11:00)

Session 2 (11:00‑12:30)

11:00‑11:45	Andrezj Murawski Algorithmic game semantics and the complexity of may-equivalence
11:45‑12:30	John Longley and Nicholas Wolverson Game semantics for object-oriented languages: a progress report

Lunch break (12:30‑14:00)

Session 3 (14:00‑15:30)

14:00‑14:45	Dominic Hughes Hypergame semantics: Ten years later
14:45‑15:30	Joachim de Lataillade Curry-style type isomorphisms and game semantics

Break (15:30‑16:00)

Session 4 (16:00‑17:30)

16:00‑16:45	Chrysida Galanaki, Panos Rondogiannis and William Wadge Game Semantics for Infinite Propositional Logic Programs with Negation
16:45‑17:30	Samson Abramsky [tentative] TBD