ACM Transactions on Computational Logic
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, Anuj Dawar. 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 http://about.orcid.org/about/what-is-orcid.
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 due to the strain on the TOCL reviewer pool.
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.)
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
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.
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?
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.
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.
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.
ORCID Mandate
As of November 1, 2021, ACM requires that all accepted journal authors register and provide ACM with valid ORCIDs prior to paper publication. Corresponding authors are responsible for collecting these ORCIDs from co-authors and for providing them to ACM as part of the ACM eRights selection process. Please note: ACM only requires you to complete the initial ORCID registration process. However, ACM encourages you to take the additional step to claim ownership of all of your published works via the ORCID site.
ORCID provides a persistent digital identifier that distinguishes you from every other researcher through integration in key research workflows such as manuscript and grant submission and supports automated linkages between you and your professional activities - ensuring that your work receives proper recognition. This requirement will also enable ACM to provide improvements to the ACM Digital Library profile data, aid in the detection of undeclared conflicts of interest and other publications-related misconduct in ACM Publications, assist with the implementation of ACM Open, and offer a host of other researcher benefits to ACM authors and the scientific community.
As corresponding author, you will be required to register for an ORCID when you submit a paper. Your co-authors should also create their individual ORCIDs at that time and add them to their accounts in the manuscript submission system. Otherwise, you will need to enter them individually into the ACM rights system upon paper acceptance and before publication in the ACM Digital Library. Simple instructions for complying with this mandate are provided inside the ACM eRights system.
The ACM ORCID FAQ should answer many of your questions.
……
更多详情：
https://dl.acm.org/journal/tocl/author-guidelines
