12-13 April 2014, Grenoble, France -- part of ETAPSGaLoP is an annual international workshop on game-semantic models for logics and programming languages and their applications. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials.Invited speakers
Preliminary Programme Saturday 12th April9.15 - Welcome 9.30 - 10.30 Glynn Winskel (Invited Talk) 11.00 - 11.45 Fully Abstract Concurrent Games for Pi -- Clovis Eberhart, Tom Hirschowitz and Thomas Seiler 11.45 - 12.30 Concurrent Hyland-Ong Games -- Pierre Clairambault 2.00 - 3.00 Tomáš Kroupa (Invited Talk) 3.00 - 3.45 A Game Semantics Approach to Complexity -- Hugo Férée 4.15 - 5.00 Game Semantics for Interface Middleweight Java -- Andrzej Murawski and Nikos Tzevelekos 5.00 - 5.45 Building Simple Languages with the Power of References -- Alexis Goyet Sunday 13th April 9.00 - 10.00 Ulrich Schöpp (Invited Talk) 10.00 -10.45 Compositionality for Transition Systems Over Games -- Paul Blain Levy and Sam Staton 11.15 - 12.00 An interactive semantics for classical arithmetic -- Michele Basaldella 12.00 - 12.45 Realizability, Testing and Game Semantics -- Rodolphe Lepigre 2.15 - 3.00 Type Theory in Ludics -- Eugenia Sironi 3.00 - 3.45 Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects -- Naohiko Haoshiko, Koko Muroya and Ichiro Hasuo Program committee
|