Saturday, March 26
Room E1.3/14
09:00 - 10:30 SESSION 1
09.00: Welcome
09.30: Invited Talk: Compiling the Geometry of
Interaction
I. Mackie (University of Sussex)
10:30 - 11:00 Coffee
11:00 - 12:30 SESSION 2
11.00: A categorical Geometry of Interaction for
additives
N. Hoshino and S. Katsumata (Kyoto
University)
11.45: Towards a system-level
semantics
D.R. Ghica
(University of Birmingham)
12:30 - 14:00 Lunch
14:00 - 15:45 SESSION 3
14:00: Invited Talk: Learning game semantics through
dynamic games
S.P. Chin (Johns Hopkins University)
15:00: Synchronous game semantics via round
abstraction
M. N. Menaa
(University of Birmingham)
15:45 - 16:30 Coffee
16:30 - 18:00 SESSION 4
16.30: The computational Pi calculus
J. Laird (University of Bath)
17.15: Topological characterization of finite and
countable nondeterminism using infinite traces
P.B. Levy (University of Birmingham)
Sunday, March 27
09:00 - 10:45 SESSION 5
09.00: Invited Talk: Independence Logic
J. Väänänen
(University of Helsinki)
10.00: A game semantics approach to disjunctive logic
programs
T. Tsouanas
(Ecole normale supérieur, Lyon)
10:45 - 11:15 Coffee
11:15 - 12:45 SESSION 6
11.15: Characterization of bi-intuitionistic
validity through resource games
D. Galmiche
and D. Mery (Université
Henri Poincaré Nancy 1)
12.00: On proof-nets, game semantics and the
complexity of normalization
U. Dal Lago (University of Bologna) and O. Laurent (Ecole normale supérieur,
Lyon)
12:45 - 14:00 Lunch
14:00 - 15:45 SESSION 7
14:00: Invited Talk: Modeling Information Flow in
Natural Language: composing and playing!
M. Sadrzadeh
(University of Oxford)
15:00: A game-theoretic study of uniqueness relation
between types and lambda terms
P. Bourreau
and S. Salvati (INRIA)
15:45 - 16:30 Coffee
16:30 - 17:45 SESSION 8
16.30: Discussion
HOME PAGE: http://sites.google.com/site/