[SMT-LIB] SMT Steering Committee Elections Results

[Alberto Griggio]

Dear All,

The SMT Steering Committee Election 2016 was held from September 9 
through September 18, 2016 to replace two elected members: 
Clark Barrett and Philipp Ruemmer.

Three candidates were nominated for these two positions:
- Clark Barrett
- Dejan Jovanovic
- Philipp Ruemmer

The overall result of the election is the following:
*** Clark Barrett and Philipp Ruemmer ***
are re-elected for 2 more years. 
The details of the election process can be found below.

On behalf of the SMT Steering Committee, we would like to thank all
candidates for running in the election and all the nominators and
voters; we also congratulate with Clark and Philipp for being re-elected.

Best regards,

Alberto Griggio and Christoph Wintersteiger

------------------------------------------------------------------------

According to the SMT bylaws (http://smt-workshop.org/bylaws.shtml), the
election follows the Single Transferable Vote (STV) algorithm (explained
in the CADE Bylaws at http://www.cadeinc.org/Bylaws.html).

Calls for votes were sent by electronic mail to eligible voters with a
current email address.

Eligible voters were people who had registered for or (co-)authored a
paper at an SMT workshop in the last 3 years, as well as all present and
past SC members, for a total of 155 voters.  Of these, 25 responded with
a vote, representing a participation level of 16%. All votes were valid.

As in previous elections, the SC members running this election (Griggio
and Wintersteiger) recused themselves and did not vote.

The tables below show the run of the STV algorithm.

Number of voters: 25

Name          Clark Barrett Dejan Jovanovic Philipp Ruemmer
Choice  1:                7               6              12
Choice  2:                8               8               8
Choice  3:               10               9               4
Nobody reaches a majority of 1st preference votes

Redistributing the votes of :
  Dejan Jovanovic
Name          Clark Barrett Philipp Ruemmer
Choice  1:                9              16
Choice  2:               16               8
Philipp Ruemmer reaches a majority of 1st preference votes
Philipp Ruemmer is elected

Redistributing the votes of Philipp Ruemmer
Name          Clark Barrett Dejan Jovanovic
Choice  1:               13              12
Choice  2:               12              11
Clark Barrett reaches a majority of 1st preference votes
Clark Barrett is elected



Elected candidates are
  Clark Barrett
  Philipp Ruemmer