Organizing Committee

For any question concerning the organization of this workshop, you can send an email to all organizers, using the email address cassis04@sophia.inria.fr

Committee members

Gilles Barthe - INRIA Sophia Antipolis

Lilian Burdy - INRIA Sophia Antipolis

Marieke Huisman - INRIA Sophia Antipolis

Jean-Louis Lanet - INRIA DirDri

Traian Muntean- University of Mediterranée