Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for Votes on Bids to Host ITP-2016


view this post on Zulip Email Gateway (Aug 22 2022 at 09:13):

From: Christian Urban <christian.urban@kcl.ac.uk>
It is a long-standing custom of ITP (and TPHOls) to
vote on where the next ITP should take place. Anyone
who is seriously considering attending ITP 2016 is
entitled to vote. We received four bids which can
be viewed at

http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/bids-2016.html

The voting procedure employed will be Single Transferable
Vote: each ballot will consist of your preferences in decreasing
order. Votes will be counted in a series of rounds until a
candidate wins a majority. At each round, the least popular
candidate will be eliminated. You should send your vote
by email to

itp2015@easychair.org

Include your name and affiliation for the sole purpose of
preventing ballot stuffing: all votes will remain secret.
The deadline for voting is Wednesday

20 May 2015

Regards,
Xingyuan Zhang and Christian Urban (ITP-15 co-chairs)


Last updated: Apr 25 2024 at 04:18 UTC