ACM Transactions on Computational Logic (TOCL)

Procedures for Submitting Accepted Papers

Preparation of the manuscripts

If you prepare your manuscript using LaTeX please follow this link:
• Submittal of LaTeX manuscripts.
To fill in the Categories and Subject Descriptors you will need to use
• The ACM Computing Classification System.


Otherwise, the authors are kindly requested to follow

• ACM's Guidelines for Submitting Accepted Articles.

Submittal of the files

The preferred form of submitting the files is by sending to the TOCL Editorial Office, acm-tocl@cs.utexas.edu, 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 TOCL.
• 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.

 
 
 
 
 

Back to home page