Programme of GALOP at ETAPS 2010
Sunday, March 21
09:00 - 10:30 SESSION 5
- Kazushige Terui (invited speaker)
- Graphs of Interaction : Multiplicatives
- Thomas Seiller
10:30 - 11:00 Coffee Break
11:00 - 12:30 SESSION 6
- Incarnation in Ludics and
maximal cliques
- Christophe Fouquere and Myriam Quatrini
- Multiparty Session Types
- Nobuko Yoshida
12:30 - 14:00 Lunch
14:30 - 16:00 SESSION 7
- Andrzej Murawski (invited speaker):Who needs semaphores? Full abstraction without synchronization
- Algorithmic Game Semantics and Symbolic Execution
- David Hopkins and Luke Ong.
16:00 - 16:30 Coffee Break
16:30 - 17:30 SESSION 8
- AJM-games revisited
- Nikos Tzevelekos and Samson Abramsky
- Pointer game semantics for polymorphism
- Paul Blain Levy and Soren B. Lassen
ETAPS 2010 |
Top |
Last Update: 2010-02-04