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

play video


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


Previous Conferences

%%sidebarspace%%
See us on Linked In See us on Facebook IBM Research Cadence Mellanox JASPER Qualcomm Mentor Graphics