The aim of this Workshop is to bring together researchers working on Game Semantics and its applications. Game Semantics has been used over the past decade to model a wide range of computational effects in programming languages, and a variety of logics. The workshop will focus on current research frontiers, with likely topics including: game semantics for object-oriented and concurrent languages; algorithmic game semantics and applications to software model-checking; connections between game semantics and more abstract formalisms such as domain theory and category theory; games and quantum computation; games and the computational content of classical proofs.
Speakers |
So far the list of participants includes:
S. Abramsky (Oxford)
D. Ghica (Oxford)
J. Laird (Sussex)
O. Laurent (Paris)
G. McCusker (Sussex)
P.-A. Melliès (Paris)
A. Murawski (Oxford)
A. Schalk (Manchester)
Program |
Organizers:
Samson
Abramsky
Phil Scott
Forms:
Workshop
Registration
Accommodations Registration
Workshops:
June 15-16: Quantum
June 17: Games
June 18-19: Linguistics
June 19-20: Concurrency
Related Events in Ottawa:
May 30-June 1: FMCS'03
June 2-20: Fields'03
June 21-27: LICS'03