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 to Eran Yahav. 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.
Poster submission deadline: 15 August 2014
Poster submission notification: 10 September 2014
Keynote Speakers
- Prof. Moshe Vardi, Rice University
- Wolfgang Roesner, 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
