[PlanetKR] announcement

[Joe Halpern]

Could you please post the following announcement to the KR mailing 
list?  Thanks. -- Joe
------------

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 at cs.cornell.edu>, by May 1, 2009.

Final selection will be made by a Selection Committee, consisting of
Joseph Halpern (chair -- Cornell University), Krzysztof 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.