Game Semantics 25

Oxford, 7-8 July 2018 (part of FLoC)

2018 will mark the 25th anniversary of the work on fully abstract game semantics for PCF, which has recently been acknowledged by the Alonzo Church award. This work led on to a very active and flourishing field of game semantics for programming languages and type theories.

Games are a flexible and modular modelling tool, giving a unified view of the denotational universes of different programming languages. Techniques developed in game semantics have found their way into numerous applications, ranging from the verification of mobile processes and model checking of higher-order programs, to static program analysis and resource-sensitive and compiler certification.

This aim of this GaLoP-sponsored workshop is to provide an opportunity for reflection and elaboration of different perspectives on the field. In addition to invited talks, the workshop will feature a number of contributed presentations. We particularly invite talk proposals on the following topics.

  • Foundations of game semantics
  • Algorithmic aspects of game semantics
  • Applications of game semantics to programming languages
  • Novel applications of game semantics
  • Perspectives on game semantics: relation to other models of computation



Samson Abramsky

Andrzej Murawski

Luke Ong