General Chair:

• Michael Vinov (IBM)

Program Chair:

• Nir Piterman (University of Leicester)

Publicity Chair:

• Tali Rabetti (IBM)

Tutorials Chair:

• Erez Bilgory (IBM)

Local Organization:

• Revivit Yankovich (IBM)

Web Master:

• Yair Harry (IBM)

Organizing Committee:

• Moshe Levinger (IBM)
• Ronny Morad (IBM)
• Avi Ziv (IBM)
• Karen Yorav (IBM)
• Sharon Keidar Barner (IBM)
• Laurent Fournier (IBM)

Program Committee:

• Roderick Bloem, Graz University of Technology
• Debapriya Chatterjee, IBM
• Hana Chockler, King's College London
• Flavio M. de Paula, IBM Corporation
• Rayna Dimitrova, MPI-SWS
• M.J. Escalona, University of seville
• Adrian Evans, iRoC Technologies
• Harry Foster, Mentor Graphics
• Franco Fummi, University of Verona
• Alex Goryachev, IBM Research
• Alberto Griggio, FBK-IRST
• Aarti Gupta, Princeton University
• Laura Kovacs, Chalmers University of Technology
• Akash Lal, Microsoft Research, India
• Martin Leucker, University of Lübeck
• João Lourenço, NOVA-LINCS - NOVA University of Lisbon
• Annalisa Massini, Department of Computer Science Sapienza University of Rome
• Mayur Naik, Georgia Tech
• Jorge A Navas, NASA Ames Research Center
• Hiren Patel, University of Waterloo
• Nir Piterman, University of Leicester
• Pavithra Prabhakar, IMDEA Software Institute
• Itai Segall, Bell Labs Israel
• Martina Seidl, Johannes Kepler University Linz
• Ohad Shacham, Yahoo! Labs
• Sharon Shoham, Academic College of Tel-Aviv Yaffo
• Eli Singerman, Intel Corporation
• Eran Yahav, Technion
• Karen Yorav, IBM Research