Programme of GALOP at ETAPS 2010

(Games for Logics and Programming Languages)

Saturday, March 20

09:30 - 10:30 SESSION 1

Jean Goubault-Larrecq (invited speaker): Games on Infinite Domains and Approximation

10:30 - 11:00 Coffee Break

11:00 - 12:30 SESSION 2

Understanding Game Semantics through Coherence Spaces

Ana C. Calderon and Guy McCusker

Type Systems for Control of Pipelining

Dan Ghica (1h talk)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

Jacques Duparc (invited speaker): On Wadge Reducibility

The lambda lambda-bar calculus: a calculus for static,
fine grained control of the view

Alexis Goyet

16:00 - 16:30 Coffee Break

16:30 - 17:30 SESSION 4

Game semantics and normalization

Pierre Clairambault

Realizability for games

Olivier Laurent