ITP 2015 Bids

The ITP Steering Committee has chosen the site for ITP 2015. Congratulations to Xingyuan Zhang and Christian Urban!


As chairs of ITP 2014, we call for bids to host ITP 2015, the Sixth International Conference on Interactive Theorem Proving.

As in previous years, the procedure consists of two phases: solicitation of bids and voting. This message concerns the first phase. A long-standing ITP/TPHOLs convention is that the conference should be held in a continent different from the location of the previous meeting. For 2015, we therefore solicit bids from prospective hosts located outside Europe. Similar to previous years, we expect bids to propose a date in July, August or September.

Bids should be sent to itp2014 at and should include at least the following information:

  • name and email address of a contact person
  • names of other people involved
  • address of website for the bid
  • approximate dates of the conference
  • structure (e.g., k workshop days and n days of presentations, excursion etc)
  • advantages of the proposed venue

Example of previous winning bids are these: ITP 2011, ITP 2012, ITP 2013.

The deadline for bids is Monday, 24 February 2014. Shortly after, all admitted bids will be made public and the voting phase will take place. The people eligible to vote are those who are seriously thinking of attending ITP 2015. The voting system used will be Single Transferable Vote between all received bids.