Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Result of Call for Votes on bids to host ITP-2011


view this post on Zulip Email Gateway (Aug 18 2022 at 14:59):

From: Matt Kaufmann <kaufmann@cs.utexas.edu>
Hello --

Voting has closed for the Call for Votes on bids to host ITP-2011, as
announced on Feb. 18 (see
http://www.cs.utexas.edu/users/kaufmann/itp-2011-bids.html). The
result was computed using VoteEngine 0.99, downloaded from
http://vote.sourceforge.net/, and the output is shown below. (I also
wrote my own little program to compute each round and checked that its
results completely agreed with those of VoteEngine. I also checked
and fixed spelling typos.)

Congratulations to the team from The Netherlands on its winning bid!
And thank you to all of those who submitted bids, which we found to be
very impressive.

In the output below, we have of course:

C = China
D = Denmark
N = Netherlands
S = Spain
U = USA

..........

VOTES 61
IRV
Cand Plurality score
N 12
S 9
C 17
D 9
U 14

Unresolved Tie

..........

So I resolved the tie by branching: In one run, I removed Spain while
in the other, I instead removed Denmark. The respective results are
below. (Note: 3 people voted only for Denmark while 1 person voted
only for Spain, which explains the discrepancy in "VOTES".)

.......... removing Spain: ..........

VOTES 60
IRV
Cand Plurality score
N 17
C 17
D 11
U 15

Cand Plurality score
N 20
C 21
U 16

Cand Plurality score
N 33
C 24

Winner N

.......... removing Denmark: ..........

VOTES 58
IRV
Cand Plurality score
N 13
S 11
C 19
U 15

Cand Plurality score
N 20
C 21
U 16

Cand Plurality score
N 33
C 24

Winner N

..........

Regards,
Matt Kaufmann (and Larry Paulson; ITP-10 co-chairs)


Last updated: Apr 25 2024 at 12:23 UTC