Submission Instructions
Original and previously unpublished manuscripts should be submitted for consideration through the Easychair website. Manuscripts should ***not*** identify the author(s) by name or 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: http://www.springer.com/east/home/computer/lncs.
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 three 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 and members of the organizing committee. 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. The review process will be managed through the EasyChair conference management system.
Keynote Speakers
- Prof. Swarat Chaudhuri, Rice University
- Dr. Markulf Kohlweiss, Researcher, Microsoft Research
- Dr. Rajeev K. Ranjan, Senior Group Director, R&D Formal and Automated verification, Cadence
- Prof. Andreas Veneris, University of Toronto