Chairs
Daniel Kroening, University of Oxford, UK.
Corina Pasareanu, Carnegie Mellon Silicon Valley/NASA Ames, USA.
Workshop Chair
Dirk Beyer, University of Passau, Germany.
Local Organization Chair
Temesghen Kahsai, Carnegie Mellon Silicon Valley/NASA Ames, USA.
Publicity Chair
Hana Chockler, King’s College, London, UK.
Program Committee
Aws Albarghouthi, University of Wisconsin-Madison, USA
Jade Alglave, University College London, UK
Domagoj Babic, Google, USA
Armin Biere, Johannes Kepler University, Austria
Roderick Bloem, Graz University of Technology, Austria
Ahmed Bouajjani, LIAFA, University Paris Diderot, France
Marius Bozga, Verimag/CNRS, France
Aaron Bradley, Mentor Graphics, USA
David Brumley, Carnegie Mellon University, USA
Tevfik Bultan, University of California, Santa Barbara, USA
Krishnendu Chatterjee, Institute of Science and Technology (IST), Austria
Swarat Chaudhuri, Rice University, USA
Marsha Chechik, University of Toronto, Canada
Hana Chockler, King’s College London
Byron Cook, University College London, UK
Isil Dillig, University of Texas at Austin, USA
Dino Distefano, Facebook, UK
Alastair Donaldson, Imperial College London, UK
Azadeh Farzan, University of Toronto, Canada
Antonio Filieri, University of Stuttgart, Germany
Jasmin Fisher, Microsoft Research, UK
Indradeep Ghosh, Fujitsu Labs of America, USA
Patrice Godefroid, Microsoft Research, USA
Aarti Gupta, Princeton University, USA
Arie Gurfinkel, Software Engineering Institute, Carnegie Mellon University, USA
Gerard Holzmann, NASA/JPL, USA
Warren Hunt, University of Texas at Austin, USA
Ranjit Jhala, University of California, San Diego, USA
Barbara Jobstmann, EPFL and Cadence Design Systems, Switzerland
Joost-Pieter Katoen, RWTH Aachen University, Germany/University of Twente, the Netherlands
Daniel Kroening, University of Oxford, UK (chair)
Marta Kwiatkowska, University of Oxford, UK
Akash Lal, Microsoft Research, India
Darko Marinov, University of Illinois at Urbana-Champaign, USA
Ken McMillan, Microsoft Research, USA
Kedar Namjoshi, Bell Labs, USA
David Parker, University of Birmingham, UK
Corina Pasareanu, CMU/NASA Ames Research Center, USA (chair)
André Platzer, Carnegie Mellon University, USA
Zvonimir Rakamaric, University of Utah, USA
Grigore Rosu, University of Illinois at Urbana-Champaign, USA
Philipp Ruemmer, Uppsala University, Sweden
Mooly Sagiv, Tel Aviv University, Israel
Sriram Sankaranarayanan, University of Colorado at Boulder, USA
Koushik Sen, University of California, Berkeley, USA
Natarajan Shankar, SRI International, USA
Natasha Sharygina, Universita’ della Svizzera Italiana, Switzerland
Sharon Shoham, Academic College of Tel-Aviv Yaffo, Israel
Nishant Sinha, IBM Research Labs, India
Fabio Somenzi, University of Colorado at Boulder, USA
Manu Sridharan, Samsung Research America, USA
Ofer Strichman, Technion, Israel
Zhendong Su, University of California, Davis, USA
Cesare Tinelli, The University of Iowa, USA
Emina Torlak, University of Washington, USA
Tayssir Touili, CNRS, LIPN, France
Thomas Wahl, Northeastern University, USA
Georg Weissenbacher, Vienna University of Technology, Austria
Eran Yahav, Technion, Israel
Steering Committee
Michael Gordon, University of Cambridge, UK
Orna Grumberg, Technion, Israel
Aarti Gupta, Princeton University, USA
Kenneth McMillan, Microsoft, USA