Journal Information
ACM Transactions on Computational Logic (TOCL)
http://tocl.acm.org/
Publisher:
ACM
ISSN:
1529-3785
Viewed:
6125
Tracked:
5

Advertisment
Call For Papers
TOCL welcomes submissions related to all aspects of logic as it pertains to topics in computer science. This area has a great tradition in computer science. Several researchers who earned the ACM Turing award have also contributed to this field, namely Edgar Codd (relational database systems), Stephen Cook (complexity of logical theories), Edsger W. Dijkstra, Robert W. Floyd, Tony Hoare, Amir Pnueli, and Dana Scott (program logics, program derivation and verification, programming languages semantics), Robin Milner (interactive theorem proving, concurrency calculi, and functional programming), and John McCarthy (functional programming and logics in AI).

Logic continues to play an important role in computer science and has permeated several of its areas, including artificial intelligence, computational complexity, database systems, and programming languages.

The Editorial Board of this journal seeks and hopes to attract high-quality submissions in all the above-mentioned areas of computational logic so that TOCL becomes the standard reference in the field.

Both theoretical and applied papers are sought. Submissions showing novel use of logic in computer science are especially welcome.

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
Last updated by Dou Sun in 2013-10-03
Related Journals
CCFFull NameImpact FactorPublisherISSN
bComputational Linguistics0.721MIT Press0891-2017
Combinatorica3.165Springer0209-9683
Journal of Computational and Applied Mathematics1.632ELSEVIER0377-0427
Computational Economics2.076Springer0927-7099
Journal of Computational Analysis and Applications Springer1521-1398
Computational Mathematics and Modeling Springer1046-283X
Journal of Computational Electronics1.013Springer1569-8025
Computational Optimization and Applications1.899Springer0926-6003
cTheory and Practice of Logic ProgrammingCambridge University Press1471-0684
cComputational Intelligence0.971John Wiley & Sons, Ltd.1467-8640
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
aa2ICCSInternational Conference on Computational Science2019-12-132020-01-242020-06-03
CIbSEIberoamerican Conference on Software Engineering2019-11-192020-02-172020-05-04
cbb2GMPGeometric Modeling and Processing2019-12-132020-02-032020-05-13
ISMSIInternational Conference on Intelligent Systems, Metaheuristics & Swarm Intelligence2019-02-052019-02-202019-03-23
ba2EDOCThe Enterprise Computing Conference2019-05-242019-07-052019-10-28
C2SIInternational Conference on Codes, Cryptology and Information Security2018-11-302019-01-202019-04-22
ACALCIAustralasian Conference on Artificial Life and Computational Intelligence2014-09-202014-10-272015-02-05
CFIMAInternational Conference on Frontiers of Intelligent Manufacturing and Automation2019-10-302019-11-302020-01-13
aa*a1SODAACM-SIAM Symposium on Discrete Algorithms2019-07-05 2020-01-05
cREFSQRequirements Engineering: Foundation for Software Quality2019-10-252019-12-202020-03-24
Recommendation