|
Program Chairs:
Doron A. Peled
Dept. of Elec. and Comp. Eng.
The University of Texas at Austin
Austin, TX 78712, USA
Phone: +1-512-232-9371
doron@ece.utexas.edu
Moshe Y. Vardi
Department of Comp. Science
Rice University
6100 S. Main St.
Houston, TX 77005
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, France
Guy Leduc, Univ. of Liege
David Lee, Bell Labs, China
Insup Lee,
UPenn
Stefan Leue, Univ. of Freiburg
Luigi Logrippo, Univ. of Quebec a Hull
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. Texas, Austin
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
|