[SMT-LIB] SMT workshop steering committee elections results

[Alberto Griggio]

Dear All,

The SMT Steering Committee Election 2014 was held from July 22, 2014
through August 31, 2014, to replace two elected members: Pascal Fontaine
and Cesare Tinelli.

Four candidates were initially nominated for these two positions:

- Clark Barrett (nominated by Pascal Fontaine and Leonardo de Moura)
- Ian Blumenfeld (nominated by Paul Li and Mark Raugas)
- Morgan Deters (nominated by Martin Brain and Tim King)
- Philipp Ruemmer (nominated by Daniel Kroening and Cesare Tinelli)

The nomination of Ian Blumenfeld was however invalid and so it was
excluded from the list.

The overall result of the election is the following:
*** Clark Barrett and Philipp Ruemmer *** are elected for 2 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 Clark and Philipp for being elected.

We would also like to thank Pascal and Cesare for their work as Steering
Committee members.

Best regards,

Alberto Griggio
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.  Of these, 32 responded with a vote. All votes were
valid.

As in previous elections, the SC members running this election (Alberto
and Christoph) recused themselves and did not nominate anybody or vote.

The tables below show the run of the STV algorithm.

Initial distribution of preferences among the candidates:

Name          Clark Barrett   Morgan Deters Philipp Ruemmer
Choice  1:               13               7               8
Choice  2:                6               5               9
Choice  3:                4              11               3
Nobody reaches a majority of 1st preference votes

Redistributing the votes of :
  Morgan Deters
Name          Clark Barrett Philipp Ruemmer
Choice  1:               14              11
Choice  2:                9               9
Clark Barrett reaches a majority of 1st preference votes
Clark Barrett is elected

Redistributing the votes of Clark Barrett
Name          Morgan Deters Philipp Ruemmer
Choice  1:               10              14
Choice  2:               13               6
Philipp Ruemmer reaches a majority of 1st preference votes
Philipp Ruemmer is elected

Elected candidates are
  Clark Barrett
  Philipp Ruemmer