Registration is now open.

The Haifa Verification Seminar (HVS) is a leading seminar dedicated to advancing the state-of-the-art and state-of-the-practice in verification and testing.

The seminar provides a forum for researchers and practitioners from academia and industry to share their work, exchange ideas, and discuss the future directions of quality, testing, and verification for hardware, software, cloud, quantum, automotive, and complex hybrid systems. The common underlying goal of these techniques is to ensure the correct functionality and performance of complex systems. The new face of these domains spans exciting technologies, including AI and analytics, encouraging the migration of methods and ideas among domains.

HVS, following the 13 years of the Haifa Verification Conferences, offers a full day of talks and discussions about the newest breakthroughs in industry and academia. Topics will include areas such as edge computing, cloud, analytics, automotive, verification in the quantum era, and AI usage in theses fields.

The seminar will take place in the auditorium of IBM Research – Haifa on the University of Haifa campus. Lunch and light refreshments will be served. Participation is free but registration is required.

Parking is available in the IBM Research - Haifa lot.

We look forward to seeing you at the seminar!

Registration Link

Click here

Time and Location

Tuesday November 19, 2019
8:30 to 18:00
At IBM Research in Haifa, auditorium
Haifa University Campus,
Mount Carmel Haifa, Israel
View Map

Keynotes Speakers

  • Prof. Robert Wille, Institute for Integrated Circuits, Johannes Kepler University (JKU) Linz.
  • Prof. Eldad Haber, Department of Earth, Ocean and Atmospheric Sciences, the University of British Colombia (UBC), Vancouver

Previous Conferences