|
Program Chairs
Program Committee
Pedro D'Argenio | University of Cordoba, Argentina
|
Christel Baier | University of Bonn, Germany
|
Luca Cardelli | Microsoft Research, UK
|
Vincent Danos | University of Paris VII, France
|
Josee Desharnais | University of Laval, Canada
|
Alessandra Di Pierro | University of Pisa, Italy
|
Maurizio Gabbrielli | University of Bologna, Italy
|
Ian Hayes | University of Queensland, Australia |
Jan Jurjens | Open University, UK
|
Marta Kwiatkowska | University of Birmingham, UK
|
Pasquale Malacaria | Queen Mary University of London, UK
|
Mieke Massink | CNR-ISTI Pisa, Italy
|
Paulo Mateus | Technical University of Lisbon, Portugal
|
Annabelle McIver | Maquarie University, Australia
|
Joel Ouaknine | Oxford University, UK
|
Gerardo Rubino | INRIA Rennes, France
|
Herbert Wiklicky | Imperial College London, UK
|
Wang Yi | Uppsala University, Sweden
|
Steering Committee
Antonio Cerone | UNU-IIST, Macau
|
Alessandra Di Pierro | University of Pisa, Italy
| Herbert Wiklicky | Imperial College London, UK
|
|