Email Gateway (Aug 22 2022 at 13:20): Email Gateway (Aug 22 2022 at 13:20):From: Jasmin Blanchette <jasmin.blanchette@inria.fr>
It is a long-standing custom of ITP (and TPHOLs) to vote on where the next installment of the conference should take place. Anyone who is seriously considering attending ITP 2017 is entitled to vote. We received two bids, which can be viewed at
https://itp2016.inria.fr/bids-to-host-itp-2017/
You should send your vote by email to
Include your name and affiliation for the sole purpose of preventing ballot stuffing. All votes will remain secret. The deadline for voting is
Friday 3 June 2016
Regards,
Jasmin Blanchette and Stephan Merz
ITP 2016 organizers
Last updated: May 07 2024 at 01:07 UTC