A tradition of ITP (and TPHOLs) is that groups can bid for hosting future conferences. It has already been decided that ITP 2020 will be incorporated into IJCAR 2020, the International Joint Conference on Automated Reasoning, to be held in Paris.
The following two groups have submitted bids to organize ITP in 2021:
The community’s votes are solicited to choose between these two options. Anyone who is seriously considering ITP 2021 is eligible to vote. Send your vote by email to
with a subject line containing “ITP2021”. Include your name and affiliation for the sole purpose of preventing ballot stuffing. All votes will remain secret. The deadline for voting is
Friday, 2 August, 2019