Game Semantics 25

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. The informal meeting also welcomes work in progress, overviews of more extensive work, programmatic or position papers, tutorials, and tool demos.