Organizing Committee

Program Committee

• Barbara Jobstmann (Tutorials Chair), VERIMAG, France
• Viktor Kuncak (Publication Chair), EPFL, Switzerland
• Nina Amla, NSF, USA
• Jason Baumgartner, IBM, USA
• Armin Biere, Johannes Kepler University, Austria
• Roderick Bloem, Graz University of Technology, Austria
• Gianpiero Cabodi, Politecnico di Torino, Italy Cabodi
• Alessandro Cimatti, FBK-IRST, Italy
• Koen Claessen, Chalmers University of Technology, Sweden
• Rolf Drechsler, University of Bremen, Germany
• Bruno Dutertre, SRI, USA
• Ganesh Gopalakrishnan, University of Utah, USA
• Aarti Gupta, NEC Labs America, USA
• Alan Hu, University of British Columbia, Canada
• Chung-Yang Ric Huang, National Taiwan University, Taiwan
• Kevin Jones, City University London, UK
• Gerwin Klein, NICTA, Sydney, Australia
• Daniel Kroening, University of Oxford, UK
• Thomas Kropf, Robert Bosch GmbH, Germany
• Oded Maler, VERIMAG, France
• Panagiotis Manolios, Northeastern University, USA
• Ken McMillan, Microsoft Research, Seattle, USA
• Tom Melham, University of Oxford, UK
• Doron Peled
• Lee Pike, Galois, USA
• Kavita Ravi, Cadence, USA
• Sandip Ray, University of Texas at Austin, USA
• Julien Schmaltz, Open University of the Netherlands, The Netherlands
• Peter-Michael Seidel, AMD, USA
• Natasha Sharygina, University of Lugano, Switzerland
• Satnam Singh, Microsoft Research, Cambridge, UK
• Sofiene Tahar, Concordia University, Montreal, Canada
• Murali Talupur, Intel, Portland, Oregon, USA
• Helmut Veith, Vienna University of Technology, Austria
• Karen Yorav, IBM, Israel