[SMT-LIB] Fwd: SMT Steering Committee Election 2012

[Tinelli, Cesare]

Dear Member of the SMT community,

According to the bylaws of the SMT workshop (http://smt-workshop.org),
it is time for this year's election to fill two positions in the SMT
workshop steering committee. The election will be conducted by Silvio
Ranise and Bruno Dutertre.

The current SMT steering committee consists of the following members:

   Clark Barrett (re-elected, 2010-12)
   David Cok (ex-officio, SMT-COMP rep, 2011-12)
   Bruno Dutertre (elected, 2011-13)
   Pascal Fontaine (ex-officio, SMT'12 co-chair)
   Silvio Ranise (elected, 2011-13)
   Roberto Sebastiani (re-elected, 2010-12)

Barrett's and Sebastiani's mandates expire this year. Neither of them
is eligible for re-election this year, as this is their second term.

Nominations can be made by email or in person to Silvio Ranise (email:
ranise at fbk.eu) or Bruno Dutertre (email: bruno at csl.sri.com), preferably
both, by any past author or participant to the last three editions of
the SMT workshop (SMT 2010, 2011, and 2012).

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/her permission.  Individuals may not nominate
themselves.

Nominations may be made at any time from now until the end of the SMT
2012 business meeting on June 30.

We are looking forward to hearing from you.

Best regards,

Silvio Ranise and Bruno Dutertre
SMT Workshop Steering Committee