[TYPES] ACM Transactions on Computational Logic - Call for Nominations

[Moshe Vardi]

ACM ToCL -- Call for Nominations

Nominations, including self nominations, are invited for the next
Editor-in-Chief of the  ACM Transactions on Computational Logic
(ToCL), see: http://www.acm.org/pubs/tocl/. The position is for a
three-year term, starting on August 1, 2005; it may be renewed for a
second term.

Candidates should be well-established researchers in areas related
to computational logic, broadly conceived. They should also have broad
experience as journal editors and conference program committee members.
Nominations, including a current curriculum vitae and a brief statement
of their vision for ToCL, should be sent by June 1, 2005 to
Moshe Y. Vardi <vardi at cs.rice.edu>.

Final selection will be made by a Selection Committee, consisting of
Moshe Y. Vardi (chair), Rice University, Joseph Y. Halpern, Cornell
University, Gordon Plotkin, University of Edinburgh, and Wolfgang
Thomas, RWTH Aachen.

Nominations received after June 1, 2005, will also be considered if
the position is not yet filled.