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.

As part of the Federated Logic Conference and the Vienna Summer of Logic, ITP 2014 will be held in Vienna University of Technology (TU Wien). More information about the venue can be found at the Vienna Summer of Logic website.