The International Journal of Foundations of Computer Science (IJFCS) serves as a platform for researchers and practitioners to publish original research contributions that advance the theoretical foundations of computer science and related disciplines. It provides a forum for scholarly discourse and facilitates the dissemination of innovative ideas in the field.
Objective:
IJFCS aims to foster the exchange of ideas and promote interdisciplinary collaboration among researchers in the field of computer science foundations. By publishing high-quality research articles, the journal contributes to the development of theoretical frameworks, methodologies, and techniques that underpin the advancement of computer science and its applications.
Interdisciplinary Approach:
IJFCS embraces an interdisciplinary approach by encompassing various theoretical aspects of computer science, including but not limited to algorithms, complexity theory, formal languages, automata theory, logic, semantics, and computational models. The journal encourages contributions that explore the intersection of theoretical computer science with mathematics, logic, engineering, and other related disciplines.
Impact and Significance:
The significance of IJFCS lies in its role as a premier publication for advancing the theoretical foundations of computer science. By providing a platform for rigorous research and scholarly discourse, the journal contributes to the development of foundational knowledge and methodologies that are essential for solving complex computational problems and advancing technological innovation.
Journal Home:  Journal Homepage
Editor-in-Chief:  O H Ibarra
scope:
The International Journal of Foundations of Computer Science (IJFCS) is a peer-reviewed academic journal that covers a wide range of foundational aspects in computer science. It publishes research articles focusing on theoretical computer science, algorithms, complexity theory, formal methods, and related areas.
Theoretical Computer Science:
Research on foundational aspects of computing, including formal languages, automata theory, and computability theory.
Studies on algorithm analysis, design, and optimization.
Complexity Theory:
Advances in complexity theory, including computational complexity, parameterized complexity, and structural complexity.
Research on NP-completeness, hardness of approximation, and complexity classes.
Formal Methods:
Studies on formal methods for software and system design, verification, and validation.
Research on formal specification languages, model checking, and theorem proving.
Algorithm Design and Analysis:
Advances in algorithm design paradigms such as greedy algorithms, dynamic programming, and divide-and-conquer.
Research on approximation algorithms, randomized algorithms, and online algorithms.
Automata Theory and Formal Languages:
Studies on formal models of computation, including finite automata, pushdown automata, and Turing machines.
Research on regular languages, context-free languages, and formal grammars.
Logic in Computer Science:
Advances in logical systems used in computer science, including propositional logic, predicate logic, and modal logic.
Research on temporal logic, description logic, and logic programming.
Computational Geometry:
Studies on geometric algorithms, computational topology, and applications in computer graphics and visualization.
Research on geometric data structures, convex hulls, and spatial querying.
Foundations of Artificial Intelligence:
Research on theoretical foundations of artificial intelligence, including knowledge representation, reasoning, and planning.
Studies on machine learning theory, neural networks, and statistical methods in AI.
Quantum Computing:
Advances in quantum algorithms, quantum complexity theory, and quantum information theory.
Research on quantum computing models, quantum cryptography, and quantum error correction.
Computational Biology and Bioinformatics:
Studies on computational methods for biological data analysis, including sequence analysis, genome assembly, and protein structure prediction.
Research on algorithms for systems biology, molecular evolution, and phylogenetics.
Cryptography and Security:
Advances in cryptographic algorithms, protocols, and their theoretical underpinnings.
Research on security models, formal methods in security, and cryptographic primitives.
Parallel and Distributed Computing:
Studies on theoretical aspects of parallel algorithms, distributed systems, and network protocols.
Research on complexity issues in parallel and distributed computing environments.
Computer Science Education:
Advances in foundational aspects of computer science education, curriculum design, and pedagogical approaches.
Research on educational technologies, online learning, and computational thinking.
Print ISSN:  0129-0541
Electronic ISSN:  1793-6373
Abstracting and Indexing:  Science Citation Index Expanded, Scopus.
Imapct Factor 2021:  0.662
Subject Area and Category:  Computer Sciences
Publication Frequency:  Bimonthly
H Index:  41
Q1:  
Q2:  Computer Science (miscellaneous)
Q3:  
Q4:  
Cite Score:  1.3
SNIP:  0.685
Journal Rank(SJR):  0.389
Latest Articles:   Latest Articles in International Journal of Foundations of Computer Science
Guidelines for Authors: International Journal of Foundations of Computer Science Author Guidelines
Publisher:  World Scientific
Country:   Singapore