It is a long-standing custom of ITP (and TPHOLs) to vote on where the next installment of the conference should take place. 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. However, we are already looking forward to 2021.
Anyone who is seriously considering attending ITP 2021 is entitled to vote. We received two bids, for Rome and London. Details of the bids can be viewed at https://itp19.cecs.pdx.edu/itp-2021/ where you will also find voting instructions. The deadline for voting is Friday, 2 August, 2019 Regards, John Harrison, John O'Leary, and Andrew Tolmach ITP 2019 organizers _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info