Registration

Classifying Decidable fragments of Idealized Algol
Luke Ong (Oxford)

Synchronous games, simulations and lambda-calculus
P. Hyvernat (Luminy)

Constructive semantics for instantaneous reactions
J. Aguado and M. Mendler (Bamberg)

A game semantics of the asynchronous pi-calculus and its dual
J. Laird (Sussex)

Affine strategies in arena games
R. Harmer (Paris 7)

Abstract games
M. Hirschowitz (Paris 7)

Concrete data structures as games
A. Schalk (Manchester)

An infinite-game semantics for negation in logic programming
P. Rondogiannis (Athens) and W. Wadge (Victoria)

A game semantics for proof search: preliminary results
D. Miller and A. Saurin (INRIA)

A games semantics for reductive logic and proof-search
D. Pym (Bath) and E. Ritter (Birmingham)

Invited Talk: Real-time component interfaces
Luca de Alfaro (UCSC)

Functions with local state: from regularity to undecidability
A. Murawski (Oxford)

Abstraction-refinement for game-based model checking
A. Dimovski (Warwick), D. R. Ghica (Birmingham) and R. Lazic (Warwick)

A unified model checking framework for the supervisor synthesis problem
A. Morgenstern and K. Schneider (Kaiserslautern)

Categorical and game semantics for SCIR
G. McCusker and M. Wall (Sussex)

Time and games
B. Leperchey (Paris 7)

Infinite trace equivalence
P. B. Levy (Birmingham)

Games with 1-backtracking
S. Berardi (Turin), T. Coquand (Chalmers) and S. Hayashi (Kobe)

Information and information flow in game semantics
Y. Delbecque (MgGill)

Towards using game semantics for crypto protocol verification: Lorenzen games
J. Juerjens (Munich)

Dinner at Heights Rooftop Restaurant in the Apex International Hotel, Grassmarket. Situated in one of Edinburgh's oldest parts of town, the restaurant boasts a spectacular view of the castle.