posted by organizer: rachelt || 3084 views || tracked by 11 users: [display]

HVC 2014 : 10th Haifa Verification Conference


Conference Series : Haifa Verification Conference
When Nov 18, 2014 - Nov 20, 2014
Where Haifa, Israel
Submission Deadline Jul 29, 2014
Notification Due Sep 10, 2014
Final Version Due Sep 21, 2014
Categories    verification   formal methods   testing

Call For Papers

Tenth Haifa Verification Conference 2014
November 18-20, 2014
Tutorials: November 17, 2014
Haifa, Israel

Organized by IBM Research - Haifa


HVC 2014 is the tenth annual conference dedicated to advancing the state-of the art and state-of-the-practice in verification and testing.
The conference provides a forum for researchers and practitioners from academia and industry to share their work, exchange ideas, and discuss the future directions of testing and verification for hardware, software, and complex hybrid systems.

The common underlying goal of these techniques is to ensure the correct functionality and performance of complex systems. HVC is the only conference that brings together researchers and practitioners from all verification and testing sub-fields, thereby encouraging the migration of methods and ideas among domains.

HVC 2014 invites the submission of technical papers reporting original research and experience results in all sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems. The conference will involve the presentation of peer-reviewed, original technical papers, as well as lectures by guests from industry and academia.

The conference proceedings will be published in Springer’s Lecture Notes in Computer Science series (LNCS). The conference proceedings will be handed in an electronic format to the guests of the conference upon registration.

Important dates:

Paper submission deadline: July 29, 2014 - 11.59 pm GMT
Poster submission deadline: August 15, 2014 - 11.59 pm GMT
Author acceptance notification: September 10, 2014
Final manuscripts due: September 21, 2014
Conference: November 18-20, 2014
Tutorials: November 17, 2014


Topics of interest to the conference include, but are not limited to:

* Simulation-based verification
* Formal and semi-formal specification, modeling, and verification
* Functional and non-functional software testing
* Equivalence checking
* SAT/SMT-based verification algorithms
* Static analysis
* Model checking
* High-level stimuli generation
* Hardware/software co-verification
* Triage and Debug
* Post-silicon validation including emulation and acceleration
* Coverage analysis and test minimization
* Testing of mobile and cloud applications
* Software artifacts review and inspection
* Test planning
* Empirical studies on software quality
* Verification, Validation, and Testing (VVT) of Engineered Systems


Original and previously unpublished manuscripts should be submitted for consideration through the Easychair website. Manuscripts should ***not*** identify the author(s) by name of affiliation and should be in LNCS format.

Two categories of submissions will be considered:
* Regular papers describing original contributions to the state of the art in the field and not exceeding sixteen (16) pages in LNCS format.
* Tools and experience papers describing a new tool or demonstrating the effectiveness of a tool or methodology in an industry-strength evaluation. Tools and experience papers should not exceed six (6) pages in LNCS format. If accepted, tool presentations are expected to include a short demo.

For submission instructions see:

Submission and review policy:
Submitted papers will be blind-reviewed by members of the program committee. It is planned for each paper to have at least two reviews. Based on reviewers' recommendations, the program chair and the general chair will make the final decision on acceptance and notify the contact author. Please note that HVC allows submissions by program committee members. It also allows submissions by program and general chairs. To guarantee fairness of the review process in such cases, organizers who are authors of submitted papers will be excluded from the review and the decision process regarding their papers. Other organizers will be appointed to handle their papers. If a paper was co-authored by one of the chairs, the other chair will handle that paper. Details of the review process and acceptance decisions will be recorded and kept confidentially to allow auditing and maximize fairness.


Call for Posters:
HVC 2014 invites students who wish to present their work to submit a short (up to two PDF pages in LNCS format) extended abstract. Submissions will be reviewed and evaluated by the program committee. If accepted, the students will be required to prepare a 70 x 100 cm poster to present 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 Israel will be considered for these grants.

Important note: Although this event focuses on students' work, we welcome submissions by other researchers and practitioners as well, to accommodate exposure of early results that are not yet ready for full paper publication.



The lovely city of Haifa resides on a mountain overlooking the
Mediterranean Sea, and is home to Jews, Muslims, and Christians. Haifa
is also the world center of the Baha’i faith, and the wondrous Baha’i
gardens are a must-see attraction. The conference will be held in the
modern building of IBM Research - Haifa, situated at the top of the Carmel


Student grants:
We anticipate a number of student grants to cover part of the travel expenses for full-time students who are authors of accepted papers.


Keynote speakers:

* Prof. Moshe Vardi, Rice University
* Bradley McCredie, Vice President and Fellow, IBM
* Prof. Martin Vechev, ETH Zürich
* Harry Foster, Chief Verification Scientist, Mentor Graphics
* Ziv Binyamini, Corporate VP & CTO, System and Software Solutions, Cadence


General Chair:
Ronny Morad (

Program Chair:
Eran Yahav (

Publicity Chair:
Rachel Tzoref-Brill (

Tutorials Chair:
Raviv Gal(

Local Organization:
Eti Jahr (

For more information, please refer to HVC2014 web page:

Related Resources

HVC 2017   Haifa Verification Conference
LICS 2018   Logic in Computer Science
SYSTOR 2017   10th ACM International Systems and Storage Conference
FM 2018   22nd International Symposium on Formal Methods
VVIoT 2018   International Workshop on Verification and Validation of Internet of Things
ICFEM 2017   19th International Conference on Formal Engineering Methods
IJESA 2017   International Journal of Embedded Systems and Applications
ICST 2018   The 11th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2018)
FMICS-AVOCS 2017   International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)
ABZ 2018   6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018