[SMT-LIB] Call for nominations for SMT steering committee

Leonardo de Moura leonardo at microsoft.com
Mon Aug 2 16:38:44 EDT 2010


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



Nominations are sought for 2 positions in the SMT Steering Committee to replace 2 elected members whose mandate expires this year.



The current SMT steering committee consists of the following elected members:



Clark Barrett, New York University

Leonardo de Moura, Microsoft Research

Roberto Sebastiani, University of Trento

Cesare Tinelli, The University of Iowa



and the following ex-officio members



Daniel Kroening, University of Oxford (SMT'10 co-organizer)

Albert Oliveras, Technical University of Catalonia (SMT-COMP representative)



Barrett's and Sebastiani's mandate expires this year. Both are eligible for re-election this time, and so can be nominated.

(Kroening's and Oliveras's mandate expires this year as well. They too can be nominated.)



Nominations can be made by email by any past author or participant to the last

3 editions of the SMT workshop (SMT 2008, 2009, 2010). Two members, a principal nominator and a second, are required to make a nomination. Before nominating someone, the nominators must first seek and obtain his or her permission.

Each person may nominate or second only one candidate. For further details please see the SMT bylaws at

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



Nominations are to be emailed to smt-election at cs.uiowa.edu<mailto:smt-election at cs.uiowa.edu> by **Aug 15, 2010**.



An election ballot will be emailed right after that.





More information about the SMT-LIB mailing list