Program Committee
Saddek Bensalem VERIMAG Laboratory Nikolaj Bjoerner XDegrees Rance Cleaveland State University of New York at Stony Brook Michael Ernst Massachusetts Institute of Technology Patrice Godefroid Bell Laboratories Klaus Havelund NASA Ames Research Center - Kestrel Technology Gerard Holzmann Bell Laboratories Sampath Kannan University of Pennsylvania Jim Larus Microsoft Research Insup Lee University of Pennsylvania Grigore Rosu NASA Ames Research Center - RIACS John Rushby SRI International Joseph Sifakis VERIMAG Laboratory Reid Simmons Carnegie Mellon University Henny Sipma Stanford University University of Pennsylvania