Armin Biere, Johannes Kepler University, Austria
Carl Pixley, Synopsys Inc., USA

Sandip Ray, University of Texas at Austin, USA
Anna Slobodova, Centaur Technology, USA

William Hung, Synopsys Inc., USA

Vigyan Singhal, Oski Technology, USA

Jason Baumgartner, IBM, USA
Armin Biere, Johannes Kepler University, Austria
Per Bjesse, Synopsys Inc., USA
Roderick Bloem, Graz University of Technology, Austria
Gianpiero Cabodi, Politecnico di Torino, Italy
Supratik Chakraborty, IIT Bombay, India
Alessandro Cimatti, FBK-IRST, Italy
Koen Claessen, Chalmers University of Technology, Sweden
Leonardo de Moura, Microsoft, USA
Wolfgang Ecker, Infineon, Germany
Masahiro Fujita, University of Tokyo, Japan
Ganesh Gopalakrishnan, University of Utah, USA
Aarti Gupta, NEC Labs America, USA
Ziyad Hanna, Jasper, USA
John Harrison, Intel, USA
Alan Hu, University of British Columbia, Canada
Warren Hunt, University of Texas at Austin, USA
Daher Kaiss, Intel, Israel
Daniel Kroening, University of Oxford, UK
Thomas Kropf, Robert Bosch GmbH, Germany
Andreas Kuehlmann, Cadence, USA
Wolfgang Kunz, University of Kaiserslautern, Germany
Panagiotis Manolios, Northeastern University, USA
Joao Marques-Silva, University College Dublin, Ireland
Anmol Mathur, Calypto, USA
Ken McMillan, Cadence, USA
Tom Melham, University of Oxford, UK
Ganapathy Parthasarathy, Real Intent, USA
Lee Pike, Galois, USA
Carl Pixley, Synopsys Inc., USA
Mukul Prasad, Fujitsu, USA
Sandip Ray, University of Texas at Austin, USA
Anna Slobodova, Centaur Technology, USA
Ofer Strichman, Technion, Israel
Helmut Veith, Technical University of Darmstadt, Germany
Karen Yorav, IBM, Israel

Jason Baumgartner, IBM, USA
Aarti Gupta, NEC Labs America, USA
Warren Hunt, University of Texas at Austin, USA
Panagiotis Manolios, Northeastern University, USA
Mary Sheeran, Chalmers University of Technology, Sweden