Programme of GALOP at ETAPS 2010

(Games for Logics and Programming Languages)

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