Organizing Committees

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

Local organization

Gilles Barthe - INRIA Sophia Antipolis

Benjamin Gregoire - INRIA Sophia Antipolis

Marieke Huisman - INRIA Sophia Antipolis

Jean-Louis Lanet - INRIA DirDri

Session organizers

Research trends in smart devices

Jean-Jacques Vandewalle - Gemplus

Web services

Cedric Fournet - Microsoft Research Cambridge

Andy Gordon -Microsoft Research Cambridge

Virtual machine technology

Benjamin Gregoire - INRIA Sophia Antipolis

Xavier Leroy - INRIA Rocquencourt

Security

Gilles Barthe - INRIA Sophia Antipolis

Marieke Huisman - INRIA Sophia Antipolis

Proof-Carrying Code

Adriana Compagnoni - Stevens Institute of Technology

Validation and formal methods

Thomas Jensen - IRISA/CNRS

Embedded devices

Jean-Louis Lanet - INRIA DirDri

Traian Muntean - Universite' de la Me'diterrane'e" Marseille