Call for Posters
HVC 2015 invites submissions of short (up to two PDF pages in LNCS format) extended abstract to Nir Piterman (nir.piterman@le.ac.uk). Submissions will be reviewed and evaluated by the program committee. If accepted, the author will be required to prepare a 70 x 100 cm poster to present in the poster session at the conference. The program committee will issue a number of grants to support students who present their work at the HVC poster session. 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.
Important Dates
Poster submission deadline: | September 30, 2015 - 11.59pm GMT |
Author acceptance notification: | October 9, 2015 - 11.59pm GMT |
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