Workshop on the link between formal and computational models
Paris, France, 23-24 June 2005

Scope of the workshop

The workshop will focus on the relations between the symbolic
(Dolev-Yao) model and the computational (complexity-theoretic) model,
and more broadly on new advances and research directions in protocol
verification.


Location

The workshop will take place at Ecole Normale Superieure, rue d'Ulm, in 
Paris.


Registration (free)

The participation to the workshop is free but registration is mandatory.

If you are interested in participating, please send an email to
Liana.Bozga@imag.fr.  If moreover you are interested in giving a talk,
please send to Liana.Bozga@imag.fr a title and a short abstract (one
or two paragraphs) with an indication whether you intend to give a
long or a short talk.

Please register by May 31st.


Organizing Committee

  - Martin Abadi, University of California at Santa Cruz, USA
  -  Bruno Blanchet, CNRS, Laboratoire d'Informatique de l'Ecole Normale 
     Superieure, Paris, France
  - Veronique Cortier, CNRS, LORIA, Nancy, France
  - Cedric Fournet, Microsoft Research, Cambridge Lab
  - Steve Kremer, INRIA, Laboratoire Specification et Verification, 
    Cachan, France
  - Yassine Lakhnech, Universite Joseph Fourier, VERIMAG Lab., Grenoble, 
    France

More details are available at
http://www.loria.fr/~cortier/workshop.html