Skip to main content


HVC 2009
Haifa Verification Conference 2009

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

image: IBM and Haifa


Organization

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

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science