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(a)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.

============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------