[isabelle] Vote for location of ITP2021

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


where you will also find voting instructions. The deadline for voting is

   Friday, 2 August, 2019


John Harrison, John O'Leary, and Andrew Tolmach
ITP 2019 organizers

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.