About the Journal
Journal of Computational Logic and Formal Science (J-CLFS) is a specialized, peer-reviewed open-access journal that serves as a critical forum for the advancement of foundational and formal approaches in computing and mathematical sciences. The journal is committed to promoting deep theoretical insights and rigorous formal methods that underpin modern computer science and its allied disciplines. Contributions are invited in a wide range of topics, including (Theoretical Computer Science), (Mathematical Logic and Set Theory), (Algorithms and Complexity), (Formal Methods in Software Engineering), (Cryptography and Information Security), (Artificial Intelligence Reasoning & Logic), (Discrete Mathematics and Graph Theory), (Proof Theory and Computability), and (Formal Verification and Model Checking). J-CLFS particularly encourages research that bridges abstract logical frameworks with concrete computational models and applications. All manuscripts submitted to J-CLFS are subject to a strict double-blind peer review to uphold the highest academic standards. The journal embraces the open science movement, ensuring that all published content is freely accessible to researchers, educators, and developers worldwide. J-CLFS publishes one issue every month, maintaining a continuous publication model with twelve (12) issues annually to support the dynamic growth of the field and foster timely scholarly communication.
| Journal Title | : Journal of Computational Logic and Formal Science |
| Frequency | : |
| E-ISSN | : |
| Chief Editor | : |
| DOI Prefix | : |
| Publisher | : Global Academic Scholar |
| Accreditation | : NON-SINTA |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
