Organizing commitee
Frank de Boer
(
CWI
, Amsterdam, and
LIACS
-
Leiden University
, The Netherlands)
Marcello Bonsangue
(
LIACS
-
Leiden University
, The
Netherlands
)
Eric Madelaine (
INRIA Méeditérannée
, Sophia-Antipolis, France)
Denis Caromel
(
INRIA Méditérannée
, Sophia-Antipolis, France)