(Apologies for multiple postings.)
**
F-IDE 2015 - CALL FOR PAPERS
**
The 2nd Formal Integrated Development Environment Workshop
*** CALL FOR PAPERS ***
ACL2 2015
13th International Workshop on the ACL2 Theorem Prover
and Its Applications
October 1-2, 2015, Austin, Texas, USA
(immediately following FMCAD
The 7th International Conference on Interactive Theorem Proving
As chairs of ITP 2015, we call for bids to host ITP 2016, the Seventh
International Conference on Interactive Theorem Proving.
As in previous years, the procedure consists of two phases: solicitation of
bids and voting. This