Journal Information
ACM Transactions on Computational Logic (TOCL)
http://tocl.acm.org/Publisher: |
ACM |
ISSN: |
1529-3785 |
Viewed: |
11378 |
Tracked: |
7 |
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
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
b | Computational Linguistics | 0.721 | MIT Press | 0891-2017 |
Combinatorica | 1.065 | Springer | 0209-9683 | |
Journal of Computational Physics | 3.553 | Elsevier | 0021-9991 | |
Journal of Advanced Manufacturing Systems | World Scientific | 0219-6867 | ||
Journal of Computational and Applied Mathematics | 2.621 | Elsevier | 0377-0427 | |
Computational Economics | 2.076 | Springer | 0927-7099 | |
Journal of Computational Electronics | 1.807 | Springer | 1569-8025 | |
Computational Mathematics and Modeling | Springer | 1046-283X | ||
Journal of Computational Neuroscience | 1.621 | Springer | 0929-5313 | |
Computational Toxicology | Elsevier | 2468-1113 |
Full Name | Impact Factor | Publisher |
---|---|---|
Computational Linguistics | 0.721 | MIT Press |
Combinatorica | 1.065 | Springer |
Journal of Computational Physics | 3.553 | Elsevier |
Journal of Advanced Manufacturing Systems | World Scientific | |
Journal of Computational and Applied Mathematics | 2.621 | Elsevier |
Computational Economics | 2.076 | Springer |
Journal of Computational Electronics | 1.807 | Springer |
Computational Mathematics and Modeling | Springer | |
Journal of Computational Neuroscience | 1.621 | Springer |
Computational Toxicology | Elsevier |
Related Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
a | a2 | ICCS | International Conference on Computational Science | 2022-01-21 | 2022-03-21 | 2020-06-03 | |
ICCMCE | International Conference on Chemical Machinery and Control Engineering | 2020-02-27 | 2020-04-10 | ||||
ICBC | IEEE International Conference on Blockchain and Cryptocurrency | 2021-12-20 | 2022-02-18 | 2022-05-02 | |||
c | b | b2 | GMP | Geometric Modeling and Processing | 2022-12-15 | 2023-03-31 | 2023-07-06 |
c | CVM | International Conference on Computational Visual Media | 2018-09-24 | 2018-11-23 | 2019-04-24 | ||
b | a2 | EDOC | The Enterprise Computing Conference | 2022-05-20 | 2022-07-04 | 2022-10-03 | |
ICPRAM | International Conference on Pattern Recognition Applications and Methods | 2020-10-06 | 2020-11-12 | 2021-02-04 | |||
NanoMT | International Conference on Frontiers of Nanomaterials and Nanotechnology | 2023-07-25 | 2023-07-25 | 2023-08-25 | |||
ICCSPA | International Conference on Communications, Signal Processing and their Applications | 2022-09-15 | 2022-10-28 | 2022-12-27 | |||
a | a* | a1 | SODA | ACM-SIAM Symposium on Discrete Algorithms | 2021-07-05 | 2022-01-09 |
Short | Full Name | Submission | Conference |
---|---|---|---|
ICCS | International Conference on Computational Science | 2022-01-21 | 2020-06-03 |
ICCMCE | International Conference on Chemical Machinery and Control Engineering | 2020-02-27 | 2020-04-10 |
ICBC | IEEE International Conference on Blockchain and Cryptocurrency | 2021-12-20 | 2022-05-02 |
GMP | Geometric Modeling and Processing | 2022-12-15 | 2023-07-06 |
CVM | International Conference on Computational Visual Media | 2018-09-24 | 2019-04-24 |
EDOC | The Enterprise Computing Conference | 2022-05-20 | 2022-10-03 |
ICPRAM | International Conference on Pattern Recognition Applications and Methods | 2020-10-06 | 2021-02-04 |
NanoMT | International Conference on Frontiers of Nanomaterials and Nanotechnology | 2023-07-25 | 2023-08-25 |
ICCSPA | International Conference on Communications, Signal Processing and their Applications | 2022-09-15 | 2022-12-27 |
SODA | ACM-SIAM Symposium on Discrete Algorithms | 2021-07-05 | 2022-01-09 |
Recommendation