Ca' Foscari logo SecReT 2006
1st International Workshop on Security and Rewriting Techniques

July 15, 2006
S. Servolo, Venice - Italy

PROGRAM COMMITTEE

  • Steve Barker, King's College London (UK)
  • Gilles Barthe, INRIA Sophia-Antipolis (France)
  • Iliano Cervesato, Tulane University (USA)
  • Horatiu Cirstea, LORIA (France)
  • Hubert Comon, LSV (France)
  • Mariangiola Dezani, University of Torino (Italy)
  • Rachid Echahed, VERIMAG (France)
  • Maribel Fernández, King's College London (UK) - PC Co-Chair
  • Thérčse Hardin, University of Paris 6 (France)
  • Claude Kirchner, LORIA (France) - PC Co-Chair
  • Luca Vigano, ETH Zurich (Switzerland)
  • Nobuko Yoshida, Imperial College London (UK)

CONTACTS

Horatiu Cirstea
Université Nancy II & LORIA
Horatiu.Cirstea@loria.fr
Maribel Fernández
King's College London
maribel@dcs.kcl.ac.uk
Claude Kirchner
INRIA & LORIA
Claude.Kirchner@loria.fr


For further information consult the ICALP 2006 web site: http://icalp06.dsi.unive.it/