Programme of GaLoP at ETAPS 2008

(Games for Logic and Programming Languages)

Saturday, April 5, room: Toboz II.

09:00 - 10:30 SESSION 1

Invited talk
Independence between quantifiers
Gabriel Sandu, Helsinki
Invited talk
Strategic games for independence-friendly logic
Merlijn Silvester, Philips Research

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2

Logic
A neutral approach to proof and refutation in MALL
Olivier Delande and Dale Miller, Ecole Polytechnique
Interactive proof search with Ludics
Alexis Saurin, Ecole Polytechnique

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

Verification
The variable hierarchy for the games mu-calculus
Luigi Santocanale and Walid Belkhir, Universite de Provence
Reachability games and game semantics: on comparing nondeterministic programs
Andrzej Murawski, Oxford

16:00 - 16:30 Coffee

16:30 - 18:00 SESSION 4

Tools
Towards game-based predicate abstraction
Adam Bakewell, Birmingham
A concrete presentation of game semantics
William Blum and Luke Ong, Oxford

Sunday, April 6, room: Toboz II.

09:00 - 10:30 SESSION 1

Programming language semantics
Game semantics as string diagrams (Invited talk)
Paul-Andre Mellies, PPS
Strachey Parametricity and Game Semantics
Joachim de Lataillade, PPS

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2

Programming language semantics
Full abstraction for nominal exceptions and general references
Nikos Tzevelekos, Oxford
Global state considered helpful
Paul Levy, Birmingham

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

Programming language design
Hardware compilation using game semantics
Dan Ghica, Birmingham
Eriskay: a programming language based on game semantics
John Longley and Nicholas Wolverson, Edinburgh

16:00 - 16:30 Coffee

16:30 - 18:00 SESSION 4

Discussion
Game semantics: Accomplishments and open problems
Open

Detailed Programme Information:

ETAPS 2008 | Top | HTML 4.01 | Last Update: 2008-01-13