CFV'05 Call for Papers

Miroslav Velev <[email protected]> Thu, 14 Apr 2005 18:29:57 -0400 (EDT)

Newsgroups	gmane.science.mathematics.logic.coq.club,gmane.comp.lang.caml.inria,gmane.science.mathematics.discrete,gmane.comp.lang.lambda-prolog,gmane.comp.lang.maude.general,gmane.comp.lang.mercury.advertisments
Message-ID	<[email protected]>

--------------------------------------------------------------------------------
                                    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