Submission deadline: June 5th
Notification of acceptance: July 1st
Final version deadline: July 7th
Topics:
- application of constraint solvers to hardware verification;
- application of constraint solvers to software verification;
- dedicated solvers for formal verification problems;
- challenging formal verification problems.
Invited Speakers:
- Masahiro Fujita, University of Tokyo, Japan
- Fabio Somenzi, University of Colorado, U.S.A.
Workshop Chairs
- Miroslav Velev, Reservoir Labs, U.S.A.
- Joao Marques-Silva, Technical University of Lisbon, IST/INESC-ID
Program Committee:
- Magdy Abadir, Motorola, U.S.A.
- Enrico Giunchiglia, Univ. Genova, Italy
- Aarti Gupta, NEC Research Labs, U.S.A.
- Ziyad Hanna, Intel, U.S.A.
- Yakov Novikov, Infenion, Germany
- Andreas Podelski, Max-Planck-Institut fr Informatik, Germany
- Mukul Prasad, Fujitsu Labs of America, U.S.A.
- Stefano Quer, Politecnico di Torino, Italy
- Toby Walsh, University of New South Wales, Australia