• Presentation
• Submission
• Committees
• Programme

Program Chairs

Alessandro Aldini	University of Urbino, Italy
Franck van Breugel	York University, Toronto, Canada

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