ACM Transactions on Computational Logic - Call for Nominations