[SMT-LIB] SMT elections

[Pascal Fontaine]

Dear All,

The SMT Steering Committee Election 2013 was held from August 5, 2013 
through September 14, 2013 to replace two elected members: Bruno 
Dutertre and Silvio Ranise.

Four candidates were nominated for these two positions:
- Vijay Ganesh (nominated by Patrick Heymans, Arnaud Hubaux and Raphaël 
Michel)
- Alberto Griggio (nominated by Alessandro Cimatti and Silvio Ranise)
- Peter Schneider-Kamp (nominated by Michael Codish, Carsten Fuhs and 
Juergen Giesl)
- Christoph Wintersteiger (nominated by Youssef Hamadi, Daniel Kroening, 
Hillel Kugler and Philipp Rümmer).

The overall result of the election is the following:
*** Alberto Griggio and Christoph Wintersteiger ***
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 with Alberto and Christoph for being elected.

We would also like to thank Bruno and Silvio for their work as Steering 
Committee members.

Best regards,

Pascal Fontaine and Cesare Tinelli

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

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 196 voters.  Of these, 38 responded with 
a vote, representing a participation level of 19%. All votes were valid.

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

The tables below show the run of the STV algorithm.

Initial distribution of preferences among the candidates:

Name       V. Ganesh A. Griggio P. Schneider-Kamp C. Wintersteiger
Choice  1:         9         16                 4                9
Choice  2:         5          7                 3               17
Choice  3:        12          6                 3                5
Choice  4:         3          2                15                2
Nobody reaches a majority of 1st preference votes

Redistributing the votes of P. Schneider-Kamp

Name       V. Ganesh A. Griggio C. Wintersteiger
Choice  1:         9         16               11
Choice  2:         6          8               17
Choice  3:        14          7                5
Nobody reaches a majority of 1st preference votes

Redistributing the votes of V. Ganesh

Name       A. Griggio C. Wintersteiger
Choice  1:         18               16
Choice  2:         13               17

A. Griggio reaches a majority of 1st preference votes
A. Griggio is elected

Redistributing the votes of A. Griggio

Name       V. Ganesh P. Schneider-Kamp C. Wintersteiger
Choice  1:        12                 6               19
Choice  2:        13                 3               12
Choice  3:         4                16                2

C. Wintersteiger reaches a majority of 1st preference votes
C. Wintersteiger is elected

Elected candidates are
   A. Griggio
   C. Wintersteiger