ACM Transactions on Computational Logic (TOCL)
Procedures for Submitting Accepted Papers
Typesetting of accepted Papers
Please prepare your manuscript using LaTeX, and
Guidelines for Submitting Accepted Articles. If your paper has an
electronic appendix then format it as explained in Section 8 of
Electronic submission of accepted papers
There are two sets of procedures for submitting accepted papers for
Papers submitted to TOCL after 1 September 2010 are using the
Manuscript Central tracking system and that system will
provide authors with instructions for final submission.
Papers submitted to TOCL prior to 1 September 2010 are using
the TOCL Editorial Office. In this case, follow the
Submissions of accepted papers via the TOCL Editorial Office
For submissions that were not submitted via Manuscript Central:
The preferred form of submitting the files
is by sending to the TOCL Editorial Office, email@example.com,
the URL address from which they can be fetched.
In the same email please send the precise address and email of
the corresponding author. He/she will be
in charge of the galley proofs.
Please send the URL's of the following files:
- the PDF file that corresponds to the manuscript,
- the single LaTeX2e file (so the .bbl file needs to be included in
the .tex file), and the EPS files for all graphics (if there are
many files in this group, please send a URL of a single gzipped
tar file instead).
What happens after you submitted the files to the TOCL Editorial Office?
The PDF file will be placed in the list
of Accepted Papers for
The copyedited the manuscript will be sent from the ACM Headquarters to
the corresponding author for possible corrections.
The corresponding author will be asked to process these corrections
in his/her LaTeX files and resubmit them to the TOCL Editorial Office in
the same way as originally.
to home page