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 |
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"
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