Call for Nominations: Editor-in-Chief ACM Transactions on Computational Logic

The term of the current Editor-in-Chief (EiC) of the ACM Transactions on Computational Logic (TOCL) is coming to an end, and the ACM Publications Board has set up a nominating committee to assist the Board in selecting the next EiC. TOCL was established in 2000 and has been experiencing steady growth, with 74 submissions received in 2014.

Nominations, including self nominations, are invited for a three-year term as TOCL EiC, beginning on July 1, 2015. The EiC appointment may be renewed at most one time. This is an entirely voluntary position, but ACM will provide appropriate administrative support.

The deadline for submitting nominations is March 30, 2015, although nominations will continue to be accepted until the position is filled. For further details, see http://tocl.acm.org/announcements/Call-for-Nominations.pdf