|
| | | |
| | | |
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/
|
|