General Chair:

• Amir Nahir (IBM)

Program Co-Chair:

• Armin Biere (Johannes Kepler University, Linz, Austria)
• Tanja E.J. Vos (Universidad Politecnica de Valencia , Spain)

Tutorial Chair:

• Itai Segall (IBM)

Local Organization:

• Shirley Namer (IBM)

Communications Chair:

• Ettie Gilead (IBM)

Social Media Lead:

• Raviv Gal (IBM)

Organizing Committee:

• Allon Adir (IBM, VVT of Systems Engineering)
• Sharon Barner (IBM)
• Hana Chockler (IBM)
• Onn Shehory (IBM)
• Karen Yorav (IBM)
• Avi Ziv (IBM)

Program Committee:

• Cyrille Artho, AIST, Japan
• Armin Biere, Johannes Kepler University, Austria
• Roderick Bloem, Graz University of Technology, Austria
• Radu Calinescu, University of York, UK
• Hana Chockler, IBM Research – Haifa, Israel
• Maria Jose Escalona, Universidad Sevilla, Spain
• Kerstin Eder, University of Bristol, UK
• Eitan Farchi, IBM Research – Haifa, Israel
• Harry Foster, Mentor Graphics, USA
• Franco Fummi, University of Verona, Italy
• Alex Goryachev, IBM Research – Haifa, Israel
• Ian G. Harris, University of California Irvine, USA
• Ziyad Hanna, Jasper DA, Israel
• Mark Harman, University College London, UK
• Klaus Havelund, Nasa, USA
• Michael S. Hsiao, Virginia Tech, USA
• Alan Hu, University of British Columbia, CA
• Zurab Khasidashvili, Intel, Israel
• Mark Last, Ben Gurion University, Israel
• João Lourenço, New University of Lisbon, Portugal
• Ken McMillan, Microsoft, USA
• Tom Melham, Oxford University, UK
• Amir Nahir, IBM Research – Haifa, Israel
• Martina Seidl, Johannes Kepler University, Austria
• Onn Shehory, IBM Research – Haifa, Israel
• Armando Tacchella, University of Genova, Italy
• Helen Treharne, University of Surrey, UK
• Shmuel Ur, Ur Innovations Ltd., Israel
• Helmut Veith, Vienna University of Technology, Austria
• Li-C. Wang, University of California Santa Barbara, USA
• Joachim Wegener, University of Regensburg, Germany
• Heike Wehrheim, Paderborn University, Germany
• Tanja Vos, Universidad Politecnica de Valencia, Spain