Programme of GALOP at ETAPS 2011

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/galopws/

Who's online

We have 60 guests and no members online

Site Hosted by