Semantics and Games
Geometry of Computation 2006
Marseille - Luminy
February 20 - 24, 2006
Samson Abramsky
Socially responsive, environmentally friendly logic
(
abstract
) (
paper
)
Stephen Brookes
A Semantics for Concurrent Separation Logic
(
abstract
)
Cristiano Calcagno
Modular Automatic Assertion Checking with Separation Logic
(
abstract
) (
Smallfoot project
)
Joachim de Lataillade
Second-order type Isomorphisms through Game Semantics
(
abstract
) (
paper
)
Thomas Ehrhard
Two ways of adding promotion to differential nets
(
abstract
)
Claudia Faggian
L-nets, parallel strategies and proof-nets
(
abstract
)
Dan Ghica
Semantics-directed abstraction and refinement
(
abstract
) (
paper
) (
GameChecker tool
)
Russ Harmer
Analysing innocent interaction (
abstract
)
Ryu Hasegawa
Semantics of lambda calculi by analytic functors and twiners
(
abstract
) (
paper
)
Martin Hyland
Extensions of Innocence (
abstract
)
Olivier Laurent
Control games: the HON game model in Krivine's realisability
(
abstract
)
Paul Blain Levy
Game semantics using function inventories (
abstract
)
Paul-André Melliès
Asynchronous games: the concurrent geometry of proofs
(
abstract
)
Samuel Mimram
Non-alternating innocence in asynchronous games
(
abstract
)
Andrzej Murawski
On Probabilistic Program Equivalence and Refinement
(
abstract
) (
paper
)
Luke Ong
Game semantics and higher-order pushdown automata with links
(
abstract
) (
paper
)
John Power
An abstract category-theoretic formulation of substitution and binding (
abstract
) (
paper
)
Laurent Regnier
Games and Geometry of Interaction
tutorial
Luigi Santocanale
Parity games and inductive/coinductive types
(
abstract
) (
paper 1
paper 2
paper 3
)
Andrea Schalk
Graph Games Revisited
(
abstract
) (
paper 1
paper 2
paper 3
)
Phil Scott
Categories and Geometry of Interaction
tutorial
Ian Stark
Names and Games (
abstract
)
Lutz Strassburger
On the Role of Medial in a Boolean Category (
abstract
) (
paper
)
Nicolas Tabareau
Free comonoids in models of linear logic
(
abstract
)