October 23 - 26, 2006
Organized by IBM Research Lab in Haifa, Israel
The second annual Haifa Verification Conference provides a forum for academia, industry, and the research and development community to share their work, exchange ideas, and discuss challenges and future research directions. The conference includes three full day sessions on verification technologies, verification tools, and software testing. Another half-day tutorial will follow the conference.
Trends in semiconductor technology scaling are presenting fundamental challenges for functional verification and software testing. The scope of the Haifa verification international conference ranges from conventional methods for stimuli generation to novel methods of guided simulation, formal methods and new hybrid techniques that incorporate dynamic and static functional verification, coverage methods, and new approaches for software testing together with coverage directed stimuli generation. The scope of the conference this year clusters technologies, tools and methodologies.
The conference will involve the presentation of original, peer reviewed, technical papers and lectures by invited industrial and academic guests. Technical papers will be published in a Springer Lecture Notes in Computer Science book (LNCS). The event will take place at the IBM Research Lab in Haifa, located on the University of Haifa campus, Mount Carmel, Haifa, Israel. The conference is sponsored by the IBM Haifa Research Lab and the Caesarea Rothschild Institute (CRI) at the University of Haifa.
The official language of the conference is English and participation is free.
Call for Papers and Tools
Proceedings publication: Springer Lecture Notes in Computer Science