ACM Transactions on Computational Logic (TOCL)

Procedures for Submitting Accepted Papers

Typesetting of accepted Papers

Please prepare your manuscript using LaTeX, and follow ACM's Guidelines for Submitting Accepted Articles. If your paper has an electronic appendix then format it as explained in Section 8 of the instructions.

Electronic submission of accepted papers

There are two sets of procedures for submitting accepted papers for final publications.

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,, 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:

What happens after you submitted the files to the TOCL Editorial Office?

Back to home page