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.
ORGANISERS
Samson Abramsky
Andrzej Murawski
Luke Ong