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.

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 LaTeX files. To take advantage of this partnership, visit and enter referral code ACM15 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 page.

Electronic submission of accepted papers

When a submission is accepted, the contact author on that submission is sent email providing detailed instructions on how to upload the final version of that submission to the ManuscriptCentral web site.

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

Back to home page