ACM Transactions on Computational Logic (TOCL)

Submission Information

Where to submit?

Submissions of papers to ToCL are handled by the Manuscript Central tracking software (a system now used to manage all ACM Transactions). Please submit your paper by following this link. If you have not used Manuscript Central before, you will need to follow the "New User?" link on the right. If you have any problems making a submission, contact the Editor-in-Chief, Dale Miller. Authors must specify one or two Area Editors in the field "Author Preferred Editors" or in their cover letter.

The ACM is one of several institutions that is starting to use the ORCID identification system of unique identifiers for researchers and scholars in order to improve the accuracy of bibliographic databases. If you do not already have such an identifier when you upload a new submission to ManuscriptCentral, you will be asked to visit the ORCID web site in order to get such an identification. For more about ORCID, visit

Restrictions on your submission

Submitted manuscripts should not be published or simultaneously submitted to another journal or to a conference. Full (extended) versions of important, published, conference papers are welcome. Upon acceptance of an article by the journal, the author(s) will be asked to transfer copyright of the article to the ACM.

Submissions longer than 45 pages in the ACM style file format are discouraged for the simple reason that TOCL publishes only approximately 1000 pages a year. The authors of such submissions, if they are accepted, will be asked to put part of their material in an electronic appendix.

To ensure timely processing of the submissions, whenever a paper needs to be revised, the authors will be asked to prepare the revised version within six months of receiving the reviews.

Many latex systems generate pdf files that are not properly handled by our document tracking system (ManuscriptCentral). Prior to submitting your pdf files, please follow the instructions for distilling pdf files into forms appropriate for ManuscriptCentral.

New ACM Publishing Policies

As of February 2013, the ACM has some new options for ACM authors to manage rights and permissions for their work. The 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

ACM Author Representations Policy

Authors submitting papers for peer-review to ACM publications make several representations of their work, detailed here.

Supporting material

Occasionally, a formalized proof is a key part of a submission and independent checking of such a proof might be part of the decision to accept a paper or not. In such a case, that formalization should be collected together into a .zip file and uploaded along with the .pdf version of the submission. There should be a README file or a short description that describes the content of the archive file and any particular resources that the user needs in order to display, run, or otherwise make use of it. Such supporting material is treated as part of the article and the same rights apply to it as to the article. (See the ACM copyright policy on line.)

Computing Classification System

An important aspect of preparing your paper for publication by ACM Press is to provide the proper indexing and retrieval information from the ACM Computing Classification System (CCS). This is beneficial to you because accurate categorization provides the reader with quick content reference, facilitating the search for related literature, as well as searches for your work in ACM's Digital Library and on other online resources.

Please read the HOW TO CLASSIFY WORKS USING ACM'S COMPUTING CLASSIFICATION SYSTEM for instructions on how to classify your document using the 2012 ACM Computing Classification System and insert the index terms into your LaTeX or Microsoft Word source file.

Language Services

ACM has partnered with American Journal Experts (AJE) to provide language editing (and translation) services to ACM authors. AJE has helped thousands of researchers around the world to present their research in polished English suitable for publication in journals such as those published by ACM. Editing is available for both Word and LaTeX files.

To take advantage of this partnership, visit for a 15% discount off all AJE services. (Editing services are at author expense and do not guarantee publication of a paper.)

Please note that formatting assistance is provided at no charge to authors by Aptara, as specified on the author style guide pages: latex guide and word guide.

Parallel submission to the CoRR repository

We strongly recommend that authors of submitted paper also post their paper to the Computing Research Repository (CoRR). The submissions to CoRR are publicly available one day after the posting. Your submission to this archiving service can help our community have timely and convenient access to recently written papers. CoRR also allows new versions of papers to be added to submitted papers so it is possible keep your entry at CoRR synchronized with the one you submit to ToCL if the later is revised during the reviewing process.

Such parallel submissions to CoRR is not a requirement for submission to ToCL.

Frequently Asked Questions about using CoRR

  1. If I submit a paper to TOCL via CoRR the information that I submitted this paper to TOCL will become known to others. So this is not an anonymous submission.

    Not quite so: Many papers posted at CoRR do not specify the current status of the paper. Obviously, you do not need to mention in the abstract or in the Comments field that the posted paper is submitted to TOCL.

  2. Why should I make the results of my research known to the scientific community when they are not yet in a final form?

    If you submit a paper to TOCL, you are apparently convinced that it is a high-quality contribution. Why not to let the others know the results of your research immediately?

  3. Posting a paper at my home page or my home institution repository will achieve the same effect.

    Not quite: Posting a paper at your home page or your home institution repository does not lead to sending any information to any subscription list. Also, putting all the papers in one central repository makes it easier to search for papers and link papers together.

  4. In case I need to revise my submission to TOCL, CoRR will contain the obsolete version of the paper.

    You can update the status of the paper you posted at CoRR by posting the final version with any information you find relevant, for instance that the paper will appear in TOCL.

  5. Isn't CoRR some new form of fad that is likely to disappear in a couple of years?

    The Los Alamos National Laboratory (LANL) archives of which CoRR forms a part have been widely used since 1992 by the physicists and mathematicians. The computer science part of the archives opened, in cooperation with the ACM, in August 1998.

Back to home page