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


Call for Students Event

HVC 2010 will be offering a unique opportunity for Ph.D. and M.Sc. students to publicize their work and interact with representatives from industry and academia as well as peer students, as part of a specialized poster session during the conference.

Students who wish to present their work are required to submit a short (up to one PDF page) abstract to the HVC Students Poster Track, using http://www.easychair.org/conferences/?conf=hvc2010. Submissions will be reviewed and evaluated by the program committee. If accepted, students will be required to prepare a 70 x 100 cm poster and present it in the session.

The program committee will issue a number of grants to support students who present their work at the HVC student event. All poster submissions from outside of Israel will be considered for the grant.

Abstract submission deadline: Aug 22 (mark the Students Poster Track category).

Notification of acceptance will be sent by August 31.

All conference participants will attend the poster session reception. Sweet refreshments will be served.

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science