coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call to Vote on Bids to Host ITP 2017

From: Yves Bertot <Yves.Bertot AT inria.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Call to Vote on Bids to Host ITP 2017
Date: Thu, 12 May 2016 13:21:22 +0200

This message is posted on coq-club on behalf of Jasmin Blanchette and Stephan
Merz

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

itp2016 AT inria.fr

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

[Coq-Club] Call to Vote on Bids to Host ITP 2017, Yves Bertot, 05/12/2016