HWVW10: July 15

1st Hardware Verification Workshop

associated with CAV


The purpose of this workshop is to rekindle some of the interest and enthusiasm towards hardware verification. Through this workshop we would like to encourage new and daring directions, to provide a stage for ideas in early developmental stages, and initiate discussions that define the challenges that remain to be tackled with.

More information can be found here.


Invited Talks

Program Chairs

Armin Biere, Johannes Kepler University, Austria
Karen Yorav, IBM Haifa Research Lab, Israel

Program Committee:

Roderick Bloem, Graz University of Technology, Austria
Alessandro Cimatti, FBK-irst, Italy
Koen Claessen, Chalmers University of Technology, Sweden
Zurab Khasidashvili, Intel, Israel
Daniel Kroening, Computing Laboratory, Oxford University, United Kingdom
Sanjit Seshia, University of California, Berkeley, United States