Interactive Theorem Proving

ITP 2011

Nijmegen, The Netherlands

22-25 August 2011


ITP 2011 is the second conference on Interactive Theorem Proving and related issues including, applications, case studies, foundations, languages, and implementations.



REGISTRATION DESK: will be open between 5pm and 7pm on Sunday 21st August. Of course, you will be able to register during the conference as well.

ITP 2012 will take place in Princeton, USA. (winning bid here)

System demo's. Warren Hunt accepted our invitation to present a system demo on using ACL2 at Centaur. A second system demo will present details about the use of the KeY system.

The list of accepted papers is now available.

Registration is now open. Early registration deadline is July 15th.

Georges Gonthier, Don Batory, Mike Kishinevsky, and Bart Jacobs accepted our invitation as invited speakers.

The proceedings will appear as a volume in Springer's LNCS series.

Important Dates

Final Version deadline ** extended to May 25th 2011 **

Submissions for workshops are still open. Please check the "List of workshops" at the top of this page.

MLPA has merged with LFMTP in a single event on Friday August 26.


More information is available under "Travel Info" at the top of this page. Please note our advice of avoiding travelling by train via Arnhem. Check regularly for new info

Travel Info

Booking for the conference hotel is now open. Note the special rate of 60 Euros/night (including breakfast). The rate also applies for the nights from 21.08 to 22.08 and 27.08 to 28.08. It would be nice if we could all stay at Hotel Erica ! Let us know if you have trouble finding a hotel outside the conference period.

Venue / Hotel Erica

The technical program is now online. See "Technical Program" on the top of this page.

Technical program