[SMT-LIB] SMT workshop steering committee elections

[Alberto Griggio]

Dear member of the SMT community,

This is your ballot for the election of the two positions in the SMT
Steering Committee to replace two elected members whose mandate expires
this year.  The two candidates with the most votes are appointed for two
years.

You are eligible to vote in this election if you have participated to or
(co)authored a paper at SMT'12, SMT'13, or SMT'14.  You are eligible
also if you are a past or current SC member.  For more details please
consult the SMT bylaws at

    http://smt-workshop.org/bylaws.shtml

According to those bylaws, the election uses the Single Transferable
Vote system.  An explanation of the voting system we will use is
available on the CADE bylaws page at

    http://www.cadeinc.org/Bylaws.html

To vote, send an email to griggio at fbk.eu and cwinter at microsoft.com listing the
names of candidates, one per line, in order of decreasing preference. Your
list can have any number of candidates from one to four.

***Please do not include this message in yours***

The deadline for voting is ***August 31, 2014***.

The candidates (listed in alphabetical order) are:

- Clark Barrett
  http://cs.nyu.edu/~barrett/
  nominated by Pascal Fontaine and Leonardo de Moura

- Ian Blumenfeld
  https://galois.com/team/ian-blumenfeld/
  nominated by Paul Li and Mark Raugas

- Morgan Deters
  http://cs.nyu.edu/~mdeters/
  nominated by Martin Brain and Tim King

- Philipp Ruemmer
  http://www.philipp.ruemmer.org/
  nominated by Daniel Kroening and Cesare Tinelli.

Regards,

Alberto Griggio and Christoph Wintersteiger
(SMT SC election chairs)