Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Call for nominations for the next Editor-in-Chief of ACM Transactions on Computational Logic (ToCL)

Nominations (including self nominations) are invited for the next Editor-in-Chief of ACM Transactions on Computational Logic (ToCL). The position is for a term (renewable once) of three years, starting on July 1, 2009.

Candidates should be well-established researchers in areas related to computational logic, broadly conceived, and should have sufficient experience serving on conference program committees and journal editorial boards. Nominations, including a current curriculum vita and a brief (one page) statement of vision for ToCL, should be sent to Joseph Halpern <>, by May 1, 2009.

Final selection will be made by a Selection Committee, consisting of Joseph Halpern (chair -- Cornell University), Kryzsztof Apt (CWI), Prakash Panangaden (McGill University), and Gordon Plotkin (University of Edinburgh). Nominations received after May 1, 2009, will be considered up until the position is filled.

For more information, see http://www.acm.org/pubs/tocl/

Please note that this newsitem has been archived, and may contain outdated information or links.