Logic List Mailing Archive

Call for Nominations: Editor-in-Chief 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): 
http://www.acm.org/pubs/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 
<halpern@cs.cornell.edu>, 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.