[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
GAME SEMANTICS 25 Call for Talks Oxford, 7-8 July 2018 (FLoC-affiliated workshop) http://www.gamesemantics.org/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. 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 SUBMISSION INSTRUCTIONS Please submit an abstract (up to one page, excluding bibliography) of your proposed talk on the EasyChair submission page below. Supplementary material may be submitted, and will be considered at the discretion of the PC. https://easychair.org/conferences/?conf=gs25 IMPORTANT DATES Submission: 30 April 2018 Notification: 15 May 2018 Workshop: 7-8 July 2018 ORGANISERS Samson Abramsky Andrzej Murawski Luke Ong