Workshop on Game Semantics
University of Ottawa, June 17, 2003

Organizers: Samson Abramsky and Phil Scott

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.


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)


Location: SITE Building, 800 King Edward, Room A0150 (see Local Information for maps and directions).

Wednesday, June 17

  • 9:15-10:00. G. McCusker (Sussex): "Game semantics for syntactic control of interference"
  • 10:00-10:45. J. Laird (Sussex): "An order-theoretic characterization of sequentiality"
  • 10:45-11:10. Break
  • 11:10-11:55. P.-A. Melliès (Paris): "Asynchronous games"
  • 11:55-12:40. A. Schalk (Manchester): "Games on graphs"
  • 12:40-2:00. Lunch
  • 2:00-2:45. D. Ghica (Oxford): "Verifying programs using games"
  • 2:55-3:40. A. Murawski (Oxford): "Games for PTIME computation"
  • 3:40-4:00. Break
  • 4:00-4:45. O. Laurent (Paris): "Full and faithful completeness for polarized additives"
  • 4:45-5:30. S. Abramsky (Oxford): "Game semantics for generic polymorphism"

Samson Abramsky
Phil Scott

Workshop Registration
Accommodations Registration

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


Back to Fields Institute Summer School.

Last updated: Jun 22, 2003 by Peter Selinger