Call for Posters
HVC 2016 invites authors to present their work in a poster session during the conference. The poster session is intended to give researchers the opportunity to present promising initial results, interesting work-in-progress or any idea worthwhile sharing with the HVC community. The session will be interactive, allowing authors to get feedback about their work and further exchange ideas with researchers and practitioners participating in HVC.
Submission instructions:
- Extended abstracts should be sent to hvc.2016@il.ibm.com.
- Submissions can be up to 2 PDF pages in length.
- Submissions should follow a standard LNCS paper template, either in Latex or Word.
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 HVC poster session. The program committee will issue a number of grants to support students who present their work. 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, to accommodate exposure of early results that are not yet ready for full paper publication.
| Submission deadline: | September 30, 2016 |
| Author Notification: | October 14, 2016 |
Keynote Speakers
- Prof. Swarat Chaudhuri, Rice University
- Dr. Markulf Kohlweiss, Researcher, Microsoft Research
- Dr. Rajeev K. Ranjan, Senior Group Director, R&D Formal and Automated verification, Cadence
- Prof. Andreas Veneris, University of Toronto