Program Chairs:
Doron A. Peled
Department of Computer Science
The University of Warwick
Coventry, CV4 7AL, UK
doron@dcs.warwick.ac.uk

Moshe Y. Vardi
Department of Comp. Science
Rice University
6100 S. Main St.
Houston, TX 77005, USA
Phone: +1-713-348-5977
vardi@cs.rice.edu

Program Committee:
Rajeev Alur, UPenn
Dines Bjorner, Tech. Univ. DK
Gregor v. Bochmann, Univ. of Ottawa
Tommaso Bolognesi, IEI, Italy
Ed Brinksma, Univ of Twente
Ana Cavalli, INT, France
Samuel Chanson, Hong Kong Univ.
Piotr Dembinski, IPI-PAN, Poland
Hubert Garavel, Inria
Stefania Gnesi, CNR - IEI, Italy
Gerard Holzmann, Bell Labs, USA
Alan J. Hu, UBC, Canada
Claude Jard, IRISA - CNRS, Fr
Guy Leduc, Univ. of Liege
David Lee, Bell Labs, China
Insup Lee, UPenn
Stefan Leue, Univ. of Freiburg
Luigi Logrippo, Univ. of Ottawa
Sjouke Mauw, Tech. Univ. Eindhoven
Ken McMillan, Cadence, USA
Mathew J. Morley, Verisity, USA
Anca Muscholl, Univ. Paris 7
Elie Najm, ENST, France
Doron Peled, Univ. of Warwick
Alex Petrenko, CRIM, Canada
Scott Smolka, SUNY Stony Brook
Richard Tenney, Univ. of Mass.
Ken Turner, Univ. of Stirling
Moshe Vardi, Rice Univ.
Son T. Vuong, Univ. of BC
Mihalis Yannakakis, Avaya Labs, USA

Steering Committee
Gregor v. Bochmann, Univ. of Ottawa
Ed Brinksma, Univ of Twente
Stanislaw Budkowski, INT, France
Guy Leduc, Univ. of Liege
Elie Najm, ENST, France
Richard Tenney, Univ. of Mass.
Ken Turner, Univ. of Stirling