Call for Papers
HVC 2015 is the eleventh in the series of annual conferences 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 2015 invites the submission of technical papers reporting original research and experience results in all sub-fields of testing and verification applicable to software and hardware. 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.
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
- Security Vulnerability Detection
- 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 hardware and software quality
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. Precedence in allocation of these travel grants will be to students who are also presenting a poster at the conference.
Important Dates
| Paper submission deadline: | July 31, 2015 (11.59pm GMT) |
| Author acceptance notification: | September 4, 2015 |
| Final manuscripts due: | September 14, 2015 |
| Poster submission deadline: | September 30, 2015 (11.59pm GMT) |
| Conference: | November 17-19, 2015 |
| Tutorials: | November 16, 2015 |
Keynote Speakers
- Patrice Godefroid, Microsoft Research
- Stephen Bailey, Director of Emerging Technologies, Mentor Graphics
- Prof. Mooly Sagiv, Tel Aviv University
- Bodo Hoppe, Hardware Verification, IBM
