Computational Logic (TOCL)


Search TOCL
enter search term and/or author name

Social Media

Author Guidelines


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, Orna Kupferman. 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.

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 International Science Editing (ISE) to provide language editing services to ACM authors. ISE offers a comprehensive range of services for authors including standard and premium English language editing, as well as illustration and translation services, and also has significant international outreach, especially in China. Editing is available for both Word and LaTeX files. As an ACM author, you will receive a generous discount on ISE editing services.

To take advantage of this partnership, visit  (Editing services are at author expense and do not guarantee publication of a manuscript.)

Please note that formatting assistance is provided at no charge to authors by Aptara, as specified on the author style guide page:

Parallel submission to the CoRR repository

We strongly recommend that authors of submitted papers also post their paper their 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.

Author Rights

Working with the computing community, ACM leadership has responded to calls to make scholarly articles more openly accessible, to enable authors to exercise greater control of their published works, and to comply with the increasing demands placed on authors by funding agencies. 

ACM authors now have three ways to manage their publication rights with ACM:

  1. A license granting ACM non-exclusive permission to publish—by choosing to pay for perpetual open access from the ACM Digital Library, authors may opt to self-manage all rights to their work. 
  2. A new Publishing License Agreement granting ACM exclusive publication rights—in choosing this license authors grant ACM the right to serve as the exclusive publisher of their work and to manage ongoing rights and permissions associated with the work, including the right to defend it against improper use by third parties. This exclusive license is roughly the equivalent of ACM’s traditional Copyright Transfer Agreement except that the author continues to hold copyright. 
  3. ACM's traditional Copyright Transfer Agreement—for authors comfortable with the existing agreement.

Learn more by visiting the Information for Authors webpage.

ACM Author-izer Service

Once your manuscript is published, we recommend that you use the ACM Author-Izer service. This service allows you to generate and post a link on your home page or institutional repository to your published article. This link will let any visitors to your personal bibliography pages download the definitive version of the articles for free from the ACM DL. These downloads will be recorded as part of your DL usage statistics. A detailed description of the service and instructions for its use may be found at:

ACM Computing Classification System (CCS)

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.


ACM is transitioning to the new authoring templates found at:  The new TeX template consolidates all eight individual ACM journal and proceedings templates.  The templates are updated to the latest software versions, were developed to enable accessibility features, and they use a new font set. Please note: Separate Word for Windows and Word for Mac consolidated templates are also available.

We will continue to accept manuscripts using the previous template format through Spring 2017.

The new TeX template requires that a call be made within the source document  for “\documentclass” so that an article is formatted according to the specifications to the publication. Detailed instructions can be found in section 2.2 of the User and Implementation Guide (

For further assistance

  • Questions regarding editorial review process should be directed to the Editor-in-Chief.
  • Questions regarding the post-acceptance production process should be addressed to the Publisher, Laura A. Lander.
All ACM Journals | See Full Journal Index