[ITP 2016] Circulating the call to vote on bids for ITP 2017 (fwd)

Adam Naumowicz <[email protected]> Mon, 9 May 2016 18:19:54 +0200 (CEST)

Newsgroups	gmane.comp.mathematics.mizar
Message-ID	<Pine.SOL.4.64.1605091818430.21858@math>

============================================

Call to Vote on Bids to Host ITP 2017

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

    [email protected]

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

--
Sent by [email protected] via CoCon