CFV'05 Call for Papers
Miroslav Velev <[email protected]> Mon, 23 May 2005 00:51:29 -0400 (EDT)
| Newsgroups | gmane.comp.lang.mercury.advertisments,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.caml.inria,gmane.comp.lang.lambda-prolog,gmane.comp.lang.maude.general |
|---|---|
| Message-ID | <Pine.GSO.4.21L.0505230050460.27420-100000__33094.2669105299$1116854727$gmane$org@elvis.ece.cmu.edu> |
--------------------------------------------------------------------------------
CFV'05: Call for Papers
--------------------------------------------------------------------------------
3rd International Workshop on Constraints in Formal Verification,
Tallinn, Estonia, July 23, 2005.
Associated with the 20th International Conference on Automated Deduction
(CADE-20).
http://sat.inesc-id.pt/CADE05-CFV/
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