[SMT-LIB] Ballot for SMT Steering Committee election

[Leonardo de Moura]

Dear member of the SMT community,



The SMT workshop is the main workshop for research on Satisfiability Modulo Theories.



This is your ballot for 2 positions in the SMT Steering Committee to replace 2 elected members whose mandate expires this year.

You are eligible to vote in this election for having participated to or (co)authored a paper at SMT'08, SMT'09, or SMT'10.

The 5 candidates (listed in alphabetical order) are:



Erika Abraham      (webpage:    http://www-i2.informatik.rwth-aachen.de/i2/eab/

                    nominators: Peter Schneider-Kamp and Florian Corzilius



Clark Barrett      (webpage:    http://cs.nyu.edu/~barrett/

                    nominators: Aaron Stump and Alberto Oliveras)



Bruno Dutertre     (webpage:    http://www.csl.sri.com/users/bruno/

                    nominators: Natarajan Shankar and Grant Passmore)



Roberto Sebastiani (webpage:    http://disi.unitn.it/~rseba/

                    nominators: Alberto Griggio and Alessandro Cimatti)



Ofer Strichman     (webpage:    http://ie.technion.ac.il/Home/Users/ofers.phtml

                    nominators: Daniel Kroening and Armin Biere)



For this election, the two candidates with the most votes are appointed for 2 years.

For more details and the mode of future elections, please consult the SMT bylaws at http://combination.cs.uiowa.edu/SMT/bylaws.html



According to those bylaws, the election uses the Single Transferrable Vote system.

An explanation of the voting system is available on the CADE homepage at http://www.cadeconference.org, under Bylaws.



To vote, reply to this message listing the names of candidates, one per line, in order of decreasing preference.

Your list can have any number of candidates from one to five. Please do not include this message in yours.



The deadline for voting is September 15, 2010.



Regards,

Leonardo de Moura and Cesare Tinelli