[TYPES/announce] Game Semantics 25 - Call for Talks

Andrzej Murawski Andrzej.Murawski at cs.ox.ac.uk
Sun Apr 15 07:09:10 EDT 2018


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


More information about the Types-announce mailing list