Program Committee
Howard Barringer (co-chair) University of Manchester Saddek Bensalem VERIMAG Laboratory Nikolaj Bjørner Microsoft Bernd Finkbeiner Saarland University Cormac Flanagan University of California, Santa Cruz Vijay Garg University of Texas, Austin Ann Gates University of Texas, El Paso Yuri Gurevich (co-chair) Microsoft Research Klaus Havelund Kestrel Technology Gerard Holzmann NASA Jet Propulsion Laboratory Michael Moeller University of Oldenburg Doron Peled University of Warwick Grigore Rosu University of Illinois, Urbana-Champaign Henny Sipma Stanford University Oleg Sokolsky University of Pennsylvania Scott Stoller State University of New York, Stony Brook Serdar Tasiran Koç University Nikolai Tillmann Microsoft Research Sergio Yovine VERIMAG Laboratory