Program Committee co-Chairs
Jorge
Cuellar,
Siemens,
Germany
Javier Lopez, University of Malaga, Spain
General co-Chairs
Gilles Barthe,
IMDEA
Software, Spain
Alex Pretschner, Fraunhofer IESE, Germany
Local Organization Chair
Angeliki
Tsochou,
University of Piraeus, Greece
Publicity Chair
Carmen
Fernandez-Gago,
University of Malaga, Spain
Program
Committee
Members
| Rafael Accorsi |
Freiburg University |
Germany |
| Iliano Cervesato |
Carnegie Mellon University |
Qatar |
| Joris Claessens |
Microsoft EMIC |
Germany |
| Jim Clarke |
WIT |
Ireland |
| Cas Cremers |
ETH Zurich |
Switzerland |
| Sabrina de Capitani |
Università degli Studi di Milano |
Italy |
| Christian Damsgaard Jensen |
Tecnical University of Denmark |
Denmark |
| Holger Dreger | Siemens | Germany |
| Simone
Fischer-Huebner
|
Karlstadt University |
Sweden |
| Peter Hermann |
NTNU |
Norway |
| Sushil Jajodia |
George Mason University |
USA |
| Martin Johns | SAP Research | Germany |
| Guenter Karjotjh |
IBM Research |
Switzerland |
| Costas Lambrinoudakis |
University of Piraeus |
Greece |
| Daniel Le Metayer |
INRIA |
France |
| Ninghui Li |
Purdue University |
USA |
| Peng Liu |
Pennsylvania State University |
USA |
| Volkmar Lotz |
SAP Research |
France |
| Fabio Martinelli |
CNR |
Italy |
| Sjouke Mauw |
University of Luxembourg |
Luxembourg |
| Catherine Meadows |
NRL |
USA |
| Stig F. Mjolsnes | NTNU | Norway |
| Ricardo Neisse |
Fraunhofer IESE |
Germany |
| Michael Rusinowitch |
INRIA |
France |
| Peter Ryan |
University of Luxembourg |
Luxembourg
|
| Piernagela Samarati |
Univeristà degli Studi di
Milano
|
Italy |
| Damien Sauveron |
XLIM, University de Limoges |
France |
| Jean-Marc Seigneur |
University of Geneva |
Switzerland |
| Ketil Stolen |
SINTEF |
Norway |
| Ulrich Ultes-Nitsche |
University of Fribourg |
Switzerland |
| Luca Viganò |
Università di Verona |
Italy |
| Bogdan Warinschi |
University of Bristol |
UK |
