Programme Committee of AMAST2010

Paolo Baldan University of Padova, Italia
Gilles Barthe IMDEA-Software, Spain
Michel Bidoit INRIA Saclay - Île-de-France, France
Manfred Broy Technische Universität München, Germany
Roberto Bruni University of Pisa, Italia
Iliano Cervesato CMU - Qatar Campus, Qatar
Adriana Compagnoni Stevens Institute of Technology, USA
Erik de Vink Technische Universiteit Eindhoven, The Netherlands
José Luiz Fiadeiro University of Leicester, UK
Kokichi Futatsugi JAIST, Japan
Rob Goldblatt Victoria University, New Zealand
Ichiro Hasuo Kyoto University, Japan
Rolf Hennicker Ludwig-Maximilians-Universität München, Germany
Michael Johnson Macquarie University, Australia (co-chair)
Hélène Kirchner INRIA Bordeaux, France
Barbara König Universität Duisburg-Essen, Germany
Narciso Martí Oliet Universidad Complutense de Madrid, Spain
Michael Mislove Tulane University, USA
Larry Moss Indiana University, USA
Till Mossakowski DFKI Bremen, Germany
Peter D. Mosses Swansea University, UK
Andrzej Murawski University of Oxford, UK
Uwe Nestmann TU Berlin, Germany
Fernando Orejas Technical University of Catalonia, Spain
Dusko Pavlovic Kestrel Institute, USA, and University of Oxford, UK (co-chair)
Leila Ribeiro Universidade Federal do Rio Grande do Sul, Brazil
Grigore Rosu University of Illinois at Urbana-Champaign, USA
Jan Rutten CWI and Radboud University Nijmegen, The Netherlands
Lutz Schröder DFKI Bremen, Germany
Wolfram Schulte Microsoft Research, USA
Douglas Smith Kestrel Institute, USA
Carolyn Talcott SRI International, USA
Andrzej Tarlecki Warsaw University, Poland
Varmo Vene University of Tartu, Estonia
James Worrell University of Oxford, UK