The ITP conference series is concerned with all topics related to Interactive Theorem Proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics.

The third ITP conference, ITP 2012, will be held at Princeton University, between August 13th and August 16th, 2012.  

Similar to previous iterations of the conference, researchers and practitioners are invited to submit proposals for colocated workshops on topics relating to interactive theorem proving. Workshops can target the ITP community in general, focus on a particular ITP system, or highlight more specific issues or recent developments. Proposals for in-depth tutorials or tool introductions are also welcome.

All colocated events will precede the main conference, and will be held on university premises. Conference facilities (meeting rooms, standard technical equipment) are offered free of charge to the organizers; workshop-only attendees will enjoy a significantly reduced registration fee. Participants will be able to choose between hotel accommodation or accommodation in university dormitories, both in walking distance to the conference venue.

Detailed organizational matters such as paper submission and review process, or publication of proceedings, are up to the organizers of individual workshops. All accepted workshops will be expected to have the programme ready by July 1st 2012.