December 6-8, 2011
Tutorials: December 5, 2011
Organized by IBM R&D Labs in Israel

General chair:

Onn Shehory, IBM Israel

Program chairs:

Kerstin Eder, University of Bristol
João Lourenço, New University of Lisbon

Tutorial chair:

Oz Hershkovitz, IBM Israel

Program Committee:

Sharon Barner, IBM Israel
Geoff Barrett, Broadcom
Armin Biere, FMV
Eyal Bin, IBM Israel
Roderick Bloem, Graz University of Technology
Michael Browne, IBM USA
Michael Butler, University of Southampton
Radu Calinescu, University of Aston
Hana Chockler, IBM Israel
Kerstin Eder, University of Bristol
Eitan Farchi, IBM Israel
Harry Foster, Mentor Graphics
Franco Fummi, University of Verona
Ian G. Harris, University of California Irvine
Ziyad Hanna, Jasper DA
Klaus Havelund, JPL
Alan Hu, University of British Columbia
Mika Katara, Tampere University of Technology
Zurab Khasidashvili, Intel
Tsvi Kuflik, University of Haifa
Mark Last, Ben Gurion University
João Lourenço, New University of Lisbon
Tom Melham, Oxford University
Amir Nahir, IBM Israel
Mauro Pezze, University of Lugano and University of Milano Bicocca
Orna Raz, IBM Israel
Michael S. Hsiao, VirginiaTech
Wolfram Schulte, Microsoft Research
Onn Shehory, IBM Israel
Armando Tacchella, University of Genova
Helen Treharne, University of Surrey
Shmuel Ur, Innovations Ltd.
Helmut Veith, Vienna University of Technology
Li-C. Wang, University of California Santa Barbara
Heike Wehrheim, Paderborn University

• Onn Shehory

  General Chair

• Kerstin Eder

  Program Co-Chair

• João Lourenço

  Program Co-Chair

• Yair Harry

  Webmaster

Springer Lecture Notes in Computer Science