Programme of GaLoP at ETAPS 2008
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:
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
ByteCode,
COCV,
CMCS,
DCC,
FESCA,
FIT,
FORMED,
GALOP,
GT-VMT,
LDTA,
MBT,
MOMPES,
PDMC,
QAPL,
RV,
SafeCert,
SC,
SLA++P,
WGT,
WRLA
ETAPS 2008 |
Top |
HTML 4.01 |
Last Update: 2008-01-13