The Coq mailing list

[Thiemann, René <Rene.Thiemann AT uibk.ac.at>]

Dear all,

we call for bids to host ITP 2024, the 15th 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 on a continent different from
the location of the previous meeting. So for 2024, we particularly 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 <itp2023 AT easychair.org> 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 follow:

- ITP 2023 in Bialystok, Poland: http://mizar.uwb.edu.pl/ITP2023-bid/ 
- ITP 2019 in Portland, USA: http://web.cecs.pdx.edu/~apt/itp2019bid/ 
- ITP 2016 in Nancy, France: 
https://members.loria.fr/JCBlanchette/itp2016/bid.html

The deadline for bids is March 31. 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 2024.

With best regards, 
Adam Naumowicz and René Thiemann 
(chairs of ITP 2023)