Programme of GALOP at ETAPS 2010
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
ETAPS 2010 |
Top |
Last Update: 2010-02-04