[SMT-LIB] Reminder: SMT Steering Committee election

Tue Sep 7 13:47:39 EDT 2010

Dear member of the SMT community,

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

This is a call for votes 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 if you have participated to or (co)authored a paper at SMT'08, SMT'09, or SMT'10. You are eligible also if you are a past SMT chair.

The deadline for voting is ***September 15, 2010.***

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 please consult the SMT bylaws at

http://combination.cs.uiowa.edu/SMT/bylaws.html

In accordance with 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, send one email to smt-election at cs.uiowa.edu<mailto:smt-election at cs.uiowa.edu> 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.

Regards,

Leonardo de Moura and Cesare Tinelli