Program Committee
Howard Barringer University of Manchester Armin Biere Swiss Federal Institute of Technology, Zurich Bernd Finkbeiner Saarland University Cormac Flanagan University of California, Santa Cruz Vijay Garg University of Texas, Austin Ann Gates University of Texas, El Paso Patrice Godefroid Bell Laboratories Yuri Gurevich Microsoft Research Kim Guldstrand Larsen Aalborg University Jim Larus Microsoft Research Michael Moeller University of Oldenburg Doron Peled University of Warwick Amir Pnueli The Weizmann Institute of Science Henny Sipma Stanford University Oleg Sokolsky University of Pennsylvania Scott Stoller State University of New York, Stony Brook Mahesh Viswanathan University of Illinois, Urbana-Champaign Sergio Yovine VERIMAG Laboratory Lenore Zuck New York University