<div dir="ltr"><div>We call for bids to host ITP 2019, the 10th International Conference on Interactive Theorem Proving.</div><div><br></div><div>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 on a continent different from the location of the previous meeting. For 2019, 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.</div><div><br></div><div>Bids should be sent to <a href="mailto:itp2018@easychair.org">itp2018@easychair.org</a> and should include at least the following information:</div><div><br></div><div><span style="white-space:pre">        </span>• name and email address of a contact person</div><div><span style="white-space:pre">        </span>• names of other people involved</div><div><span style="white-space:pre">    </span>• address of website for the bid</div><div><span style="white-space:pre">    </span>• approximate dates of the conference</div><div><span style="white-space:pre">       </span>• structure (e.g., k workshop days and n days of presentations, excursion, etc.)</div><div><span style="white-space:pre">    </span>• advantages of the proposed venue</div><div><br></div><div>Example of previous winning bids follow:</div><div><br></div><div><span style="white-space:pre"> </span>• <a href="http://itp2011.cs.ru.nl/ITP2011/Bid_ITP11.html">http://itp2011.cs.ru.nl/ITP2011/Bid_ITP11.html</a></div><div><span style="white-space:pre"> </span>• <a href="http://www.cs.princeton.edu/~appel/itp2012/bid.html">http://www.cs.princeton.edu/~appel/itp2012/bid.html</a></div><div><span style="white-space:pre">       </span>• <a href="http://www.irisa.fr/celtique/blazy/bid-itp13.html">http://www.irisa.fr/celtique/blazy/bid-itp13.html</a></div><div><br></div><div>The deadline for bids is Friday, March 2, 2018. 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 considering attending ITP 2019.</div></div>