ACM Transactions on Computational Logic (TOCL) is devoted to research concerned with all uses of logic in computer science. Logic continues to play an important role in computer science and permeates many of its areas including artificial intelligence, computational complexity, database systems, and programming languages.
 
The following areas are currently covered by the members of the Editorial Board. They may change as the field evolves. In particular, submissions on the semantic aspects of the mentioned topics are welcome.

Automated Deduction
Automata and Temporal Logic
Automated Verification
Concurrency Calculi and Tools
Constraint Programming
Finite Model Theory and Complexity of Logical Theories
Functional Programming and Lambda Calculus
Logical Aspects of Computational Complexity
Logical Aspects of Computational Linguistics and Computational Semantics
Logical Aspects of Databases
Logical Aspects of Knowledge Representation, Logic of Geometry, Physics, and Other Commonsense Domains
Logic and Machine Learning
Logic Programming
Logics of Uncertainty
Modal Logic, Epistemic Logic, Dynamic Logic, Logic and Games
Model Checking and Formal Methods
Nonmonotonic Reasoning and Answer Sets
Program Development and Verification
Program Specification
Proof Theory
Term Rewriting Systems
Type Theory and Logical Frameworks