Email Gateway (Aug 22 2022 at 20:18): Email Gateway (Aug 22 2022 at 20:18):From: "O'Leary, John W" <john.w.oleary@intel.com>
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
Last updated: Nov 21 2024 at 12:39 UTC