ACM Transactions on Computational Logic

{{Infobox journal

| title = ACM Transactions on Computational Logic

| cover =

| editor = Anuj Dawar

| discipline = Computational logic

| abbreviation = ACM Trans. Comput. Log.

| publisher = ACM

| country = United States

| frequency = Quarterly

| history = 2000–present

| openaccess =

| license =

| impact = 0.625

| impact-year = 2020

| website = http://tocl.acm.org/

| link1 = http://portal.acm.org/tocl

| link1-name = Online access

| link2 = http://portal.acm.org/tocl/archive

| link2-name = Online archive

| JSTOR =

| OCLC =

| LCCN =

| CODEN =

| ISSN = 1529-3785

| eISSN = 1557-945X

}}

ACM Transactions on Computational Logic (ACM TOCL) is a scientific journal that aims to disseminate the latest findings of note in the field of logic in computer science. It is published by the Association for Computing Machinery, a premier scientific and educational society on computer science and computational technology in the United States.

The editor-in-chief is Anuj Dawar (University of Cambridge).{{cite web|url=https://dl.acm.org/journal/tocl/editorial-board|title= Editorial Board |accessdate= 2022-06-11}} According to the Journal Citation Reports, the journal had a 2020 impact factor of 0.625.{{cite book |year=2021 |chapter=ACM Transactions on Computational Logic |title=2020 Journal Citation Reports |publisher=Thomson Reuters |edition=Science |series=Web of Science|title-link=Journal Citation Reports }}