ACM Transactions on Computational Logic (TOCL)

New: The ACM is soliciting nominations for Editior-in-Chief for the ACM Transactions on Computational Logic. For more information, read the Call for Nominations.

For the purposes of TOCL, the field of computational logic consists of all uses of logic in computer science.

TOCL is published quarterly. The first issue appeared in July 2000, and the journal is indexed by ISI beginning with the 2006 volume. TOCL is part of the ACM Digital Library.

Update February 2013: New options for ACM authors to manage rights and permissions for their work: ACM introduces a new publishing license agreement, an updated copyright transfer agreement, and a new author-pays option which allows for perpetual open access through the ACM Digital Library. For more information, visit the ACM Author Rights webpage at

Update November 2011: The ACM has launched a new service for authors called the ACM Author-Izer Service. This service allows authors to post download links to their papers within the ACM Digitial Library from their personal home page or institutional repository. Someone following such download links will receive the paper for free. ACM download statistics will incorporate such downloads. Read more.