HVC 2015 is the 11th 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.
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 |
Sponsors
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
