General Chair:

• Ronny Morad (IBM)

Program Chair:

• Eran Yahav (Technion)

Publicity Chair:

• Rachel Tzoref-Brill (IBM)

Tutorials Chair:

• Raviv Gal (IBM)

Local Organization:

• Eti Jahr (IBM)

Web Master:

• Yair Harry (IBM)

Organizing Committee:

• Moshe Levinger
• Amir Nahir
• Avi Ziv
• Karen Yorav
• Sharon keidar Barner
• Laurent Fournier

Program Committee:

• Hana Chockler, King's College
• Ruzica Piskac, Yale University
• Sharon Shoham, Academic College of Tel-Aviv Yaffo
• Ohad Shacham, Yahoo! Labs
• Martina Seidl, Johannes Kepler University Linz
• Corina Pasareanu, CMU/NASA Ames Research Center
• Barbara Jobstmann, EPFL, Jasper DA, and CNRS-Verimag
• Valeria Bertacco, University of Michigan
• Laura Kovacs, Chalmers University of Technology
• Jan Vitek, Purdue University
• Tevfik Bultan, University of California at Santa Barbara
• Aditya Nori, MSR India
• Daniel Kroening, University of Oxford
• Heike Wehrheim, University of Paderborn
• Patrice Godefroid, Microsoft Research
• Mayur Naik, Intel Labs
• Zhendong Su, UC Davis
• Kerstin Eder, University of Bristol
• Isil Dillig, UT Austin
• Rupak Majumdar, MPI-SWS
• Aarti Gupta, NEC Laboratories America
• Darko Marinov, University of Illinois at Urbana-Champaign
• Shan Lu, University of Wisconsin, Madison
• Franco Fummi, University of Verona
• Florian Letombe, Synopsys
• Earl Barr, University College London
• Swarat Chaudhuri, Rice University
• Itai Segall, IBM Research - Haifa
• João Lourenço, New University of Lisbon