Submission to the ACM Transaction of Computational Logic

Starting September 2010, submissions to the ACM Transaction of Computational Logic (ToCL) are made via the Manuscript Central tracking system.

To submit a paper to ToCL, visit the Manuscript Central portal for ToCL. If you have not used Manuscript Central before, you will need to follow the "New User?" link on the right of that portal page. If you have any problems making a submission, contact the (co) Editor-in-Chief, Dale Miller.

Date: 1 September 2010