ITP Home Page
Overview
ITP 2014 is the fifth 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. The conference will feature original research presentations, invited speakers, and affiliated workshops. The proceedings of ITP 2014 will be published by Springer in the LNCS series.
Detailed information on ITP 2014 can be found on the ITP 2014 website.