General Chair:

• Rachel Tzoref-Brill (IBM)

Program Chair:

• Ofer Strichman (Technion)

Publicity Chair:

• Tali Rabetti (IBM)

Tutorials Chair:

• Tom Kolan (IBM)

Local Organization:

• Revivit Yankovich (IBM)

Web Master:

• Niva Bar-Shimon (IBM)

Organizing Committee:

• Moshe Levinger (IBM)
• Eli Arbel (IBM)
• Avi Ziv (IBM)
• Karen Yorav (IBM)
• Sharon Keidar Barner (IBM)
• Laurent Fournier (IBM)

Program Committee:

• Nicolai Bjorner, Microsoft Research
• Hana Chockler, King's College London
• Alessandro Cimatti, Fondazione Bruno Kessler
• Rayna Dimitrova, Max Planck Institute for Software Systems
• Adrian Evans, iRoC Technologies
• Franco Fummi, University of Verona
• Alberto Griggio, Fondazione Bruno Kessler
• Alan Hu, University of British Columbia
• Warren Hunt, University of Texas at Austin
• Alexander Ivrii, IBM Research
• Laura Kovacs, Vienna University of Technology
• Akash Lal, Microsoft Research
• Annalisa Massini, Sapienza University of Rome
• Ziv Nevo, IBM Research
• Shaz Qadeer, Microsoft Research
• Martina Seidl, Johannes Kepler University Linz
• Natasha Sharygina, University of Lugano
• Carsten Sinz, Kalsruhe Institute of Technology
• Mattias Ulbrich, Kalsruhe Institute of Technology
• Willem Visser, Stellenbosch University
• Greta Yorsh, Queen Mary University of London