[SMT-LIB] reminder: nominations for SMT steering committee elections

[Alberto Griggio]

-----------------------------------------------------------------------------
*** Apologies for multiple copies ***

Dear member of the SMT community,

This is just to remind you that the deadline for nominations for the SMT
Steering Committee is Sunday August 10th, 2014 (i.e. at the end of the week).

Two people are required to make a nomination. 
No one may nominate himself or herself or make more than one nomination.
To be eligible, nominees must give their permission to the SC.

For more details please consult the SMT bylaws at

    http://smt-workshop.cs.uiowa.edu/bylaws.shtml

Best regards,

 Alberto Griggio and Christoph Wintersteiger
 on behalf of the SMT Workshop Steering Committee

-----------------------------------------------------------------------------