3rd International Workshop on Constraints in Formal Verification

Event Detail

General Information
Dates:
Saturday, July 23, 2005 - Saturday, July 23, 2005
Days of Week:
Saturday
Target Audience:
Academic and Practice
Location:
Tallinn, Estonia
Sponsor:
Event Details/Other Comments:

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