Skip to main content


HVC 2010
Haifa Verification Conference 2010

October 5-7, 2010
Organized by IBM R&D Labs in Israel

image: IBM and Haifa


Organization

General Chair:

Sharon Barner, IBM Israel

Program Chairs:

Daniel Kroening, Oxford University
Ian G. Harris, University of California Irvine

Publicity Chair:

Hana Chockler, IBM Israel

Publication Chair:

Orna Raz, IBM Israel

Local Organization:

Vered Aharon, IBM Israel

Organizing Committee:

Eyal Bin, IBM Israel
Hana Chockler, IBM Israel
Moshe Levinger, IBM Israel
Orna Raz, IBM Israel
Avi Ziv, IBM Israel

Program Committee:

Nina Amla, Cadence
Sharon Barner, IBM Israel
Armin Biere, FMV
Eyal Bin, IBM Israel
Per Bjesse, Synopsys
Roderick Bloem, Graz University of Technology
Hana Chockler, IBM Israel
Franco Fummi, University of Verona
Aarti Gupta, NEC Labs
Ziyad Hanna, Jasper DA
Ian G. Harris, University of California Irvine
Klaus Havelund, JPL
Michael S. Hsiao, VirginiaTech
Alan Hu, University of British Columbia
Barbara Jobstmann, Verimag
Zurab Khasidashvili, Intel
Daniel Kroening, Oxford University
Sava Krstic, Intel
Ken McMillan, Cadence
Orna Raz, IBM Israel
Philipp Ruemmer, Oxford University
Shmuel Ur
Helmut Veith, Vienna University of Technology
Willem Visser, University of Stellenbosch
Thomas Wahl, Oxford University
Li C. Wang, UC Santa Barbara

HVC Award committee:

Ofer Strichman, Technion (Chair)
Patrice Godefroid, Microsoft Research
Roderick Bloem, Graz University of Technology
Kerstin Eder, University of Bristol
Mooly Sagiv, Tel-Aviv University

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science