General Chair:

• Eli Arbel (IBM)

Program Chair:

• Roderick Bloem, (Graz University of Technology)

Publicity Chair:

• Tali Rabetti (IBM)

Tutorials Chair:

• Natasha Sharygina (University of Lugano)

Local Organization:

• Revivit Yankovich (IBM)

Web Master:

• Niva Bar-Shimon/Haifa/Contr/IBM (IBM)

Organizing Committee:

• Moshe Levinger (IBM)
• Michael Vinov (IBM)
• Avi Ziv (IBM)
• Karen Yorav (IBM)
• Sharon keidar Barner (IBM)
• Laurent Fournier (IBM)

Program Committee:

• Domagoj Babic, Google Research
• Aviv Barkai, Intel Corporation
• Nikolaj Bjorner, Microsoft Research
• Hana Chockler, King's College London
• Rayna Dimitrova, Max Planck Institute for Software Systems
• Adrian Evans ,iRoC Technologies
• Franco Fummi, University of Verona
• Raviv Gal, IBM Research
• Warren Hunt, University of Texas at Austin
• Barbara Jobstmann, EPFL, Jasper DA, and CNRS-Verimag
• Laura Kovacs, Vienna University of Technology
• João Lourenço, Universidade NOVA de Lisboa
• Annalisa Massini, Sapienza University of Rome
• Hari Mony, IBM Corporation
• Nir Piterman, University of Leicester
• Pavithra Prabhakar, Kansas State University
• Sandip Ray, Intel Corporation
• Orna Raz, IBM Research
• Martina Seidl, Johannes Kepler University Linz
• Sanjit A. Seshia, UC Berkeley
• Prasad Sistla, University of Illinois at Chicago
• Ufuk Topcu, University of Texas at Austin
• Eran Yahav, Technion