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)