Program Committee
Mehmet Aksit University of Twente Howard Barringer University of Manchester Saddek Bensalem VERIMAG Laboratory Eric Bodden McGill Univeristy Bernd Finkbeiner Saarland University Cormac Flanagan University of California, Santa Cruz Vijay Garg University of Texas, Austin Klaus Havelund NASA Jet Propulsion Laboratory/Columbus Technologies Gerard Holzmann NASA Jet Propulsion Laboratory Moonzoo Kim KAIST Martin Leucker Technical University of Munich Oege de Moor Oxford University Klaus Ostermann Darmstadt University of Technology Shaz Qadeer Microsoft Research Grigore Rosu University of Illinois, Urbana-Champaign Henny Sipma Stanford University Oleg Sokolsky (co-Chair) University of Pennsylvania Scott Stoller State University of New York, Stony Brook Mario Sudholt Ecole des Mines de Nantes-INRIA Serdar Tasiran (co-Chair) Koc University