VSL 2014: VIENNA SUMMER OF LOGIC 2014
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.

Call for Papers

Call for Papers

Organization

Program Committee