Program Committee
Saddek Bensalem VERIMAG Laboratory Rance Cleaveland State University of New York at Stony Brook Ann Gates University of Texas, El Paso Patrice Godefroid Bell Laboratories Gerard Holzmann Bell Laboratories Susan Horwitz University of Wisconsin, Madison Michael Moeller University of Oldenburg Aloysius K. Mok University of Texas, Austin Henny Sipma Stanford University Oleg Sokolsky University of Pennsylvania Scott Stoller State University of New York at Stony Brook Mahesh Viswanathan University of Illinois at Urbana-Champaign Sergio Yovine VERIMAG Laboratory Lenore Zuck New York University
Steering Committee
Klaus Havelund NASA Ames Research Center - Kestrel Technology Insup Lee University of Pennsylvania Grigore Rosu University of Illinois at Urbana-Champaign