Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] ITP 2027 - Call for Bids

Email Gateway (Jan 27 2026 at 18:14):

From: Natalia Slusarz <natalia.slusarz@manchester.ac.uk>

Dear all,

We call for bids to host ITP 2027, the 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. Similar to previous years, we
expect bids to propose a date in July, August or September.

Bids involving collocation with related conferences are welcome.

Bids should be sent to the two ITP'26 chairs (see below) 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 2027.

With best regards,
Ekaterina Komendantskaya <E.Komendantskaya@soton.ac.uk>
Tobias Nipkow <nipkow@in.tum.de>
Chairs of ITP 2026

Last updated: Jan 31 2026 at 12:53 UTC