October 19-22, 2009
Organized by IBM R&D Labs in Israel

General chair:
Avi Ziv

Program co-chair:
Kedar Namjoshi
Andreas Zeller

Local organization:
Vered Aharon

Organizing committee:
Sharon Barner, IBM HRL
Eyal Bin, IBM HRL
Hana Chockler, IBM HRL
Moshe Levinger, IBM HRL
Shmuel Ur, IBM HRL

Program committee:
Sharon Barner, IBM HRL, Israel
Eyal Bin, IBM HRL, Israel
Roderick Bloem, TU Graz, Austria
Hana Chockler, IBM HRL, Israel
Myra Cohen, U Nebraska-Lincoln, USA
Christoph Csallner, University of Texas at Arlington, USA
Kerstin Eder, Bristol U, UK
Steven German, IBM Research, USA
Patrice Godefroid, Microsoft, USA
Orna Grumberg, Technion, Israel
Shankar Hemmady, Synopsys, USA
Gerard Holzmann, NASA, USA
Vineet Kahlon, NEC, USA
Orna Kupferman, Hebrew U, Israel
Doron Peled, Bar Ilan U, Israel
Andreas Podelski, U Freiburg, Germany
Sriram Rajamani, Microsoft, India
Gil Shurek, IBM HRL, Israel
Scott Stoller, Stony Brook U, USA
Shmuel Ur, IBM HRL, Israel
Tao Xie, North Carolina State U, USA
Eran Yahav, IBM Research, USA
Karen Yorav, IBM HRL, Israel

HVC Award committee:
Sharad Malik, Princeton University, USA (Chair)
Holger Hermanns, Saarland University, Germany
Sarfraz Khurshid, University of Texas, Austin, USA
Natarajan Shankar, SRI International, USA
Helmut Veith, Technische Universität Darmstadt, Germany

• Avi Ziv

  General Chair

• Kedar Namjoshi

  Program Chair

• Andreas Zeller

  Program Chair

• Efrat Maimon

  Webmaster

Springer Lecture Notes in Computer Science