|
October 27-30, 2008
Organized by IBM Haifa Research Lab
The 2008 Haifa Verification Conference will provide an award for the most promising contribution(s) to verification published in the last five years. The winners of the HVC award will be invited to present their work in a special research session at HVC'08.
HVC Award Committee
- Corina Pasareanu, Perot Systems/NASA Ames Research Center, USA - chair
- Roderick Bloem, Graz University of Technology, Austria
- Sebastian Elbaum, University of Nebraska, Lincoln, USA
- Bob Kurshan, Cadence, USA
- Wolfram Schulte, Microsoft Research, Redmond, USA
- Willem Visser, SEVEN Networks, USA
- Avi Ziv, IBM HRL, Israel
| |
|
