Interactive Theorem Proving
ITP 2012
Princeton, New Jersey
13-16 August 2012
Overview
ITP 2012 is the third conference on Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics.
Important Dates (workshops)
| Submission of proposals | |
| Notification |
Important Dates (main conference)
| Abstract submission | February 6, 2012 |
| Paper submission | February 13, 2012 |
| Paper notification | April 13, 2012 |
| Final version | May 5, 2012 |
News
TUTORIAL. Thank you to Andrew Gacek (Rockwell Collins), who will present a tutorial on Abella.
INVITED SPEAKERS. We're happy to announce that that Gilles Barthe (IMDEA), Lawrence C. Paulson (Cambridge), and Andre Platzer (CMU) all accepted our invitation.
ANNOUNCEMENT OF WORKSHOPS. The conference will be preceded by workshops on Isabelle (organized by Tobias Nipkow, Larry Paulson, and Makarius Wenzel) and Coq (organized by Adam Chlipala).
CALL FOR PAPERS. Please follow the link at the top of this page, and take note of the deadlines to the right. As outlined in the CFP, submissions are expected to be complemented by the source files of an implementation.
CALL FOR WORKSHOPS. Please follow the link at the top of this page. Proposals can be submitted until December 5th, 2011. The deadline has now passed.