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