The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa University in Israel during October 23 26, 2006. The verification conference was a three-day, single-track conference followed by a one-day tutorial on PSL. This Haifa Verification Conference was established to bring together researchers from two different disciplines, hardware verification and software testing. The use of similar techniques among the two communities enabled the conference to help generate a unique synergy that fortifies both groups. This year, we had...