Fundamenta Informaticae - Impact Factor

Fundamenta Informaticae - IOS Press | 2024 Impact Factor:0.4 | Cite Score:2.0 | Q3

Fundamenta Informaticae Journal - IOS Press

Impact Factor and Journal Rank of Fundamenta Informaticae

About: Fundamenta Informaticae is a peer-reviewed scientific journal established in 1977 by the Polish Mathematical Society. It is currently published by IOS Press under the auspices of the European Association for Theoretical Computer Science. The journal focuses on the theoretical foundations of computer science, aiming to publish original research results in all areas of theoretical computer science.
Impact and Significance
Fundamenta Informaticae holds significant importance for the computer science community:
Theoretical Foundations: It contributes to advancing the theoretical foundations of computer science through rigorous research.
Mathematical Solutions: The journal emphasizes mathematical solutions to computational problems, fostering innovation.
International Reach: With its international scope, the journal facilitates global collaboration and knowledge exchange.
High-Quality Research: Through a peer-reviewed process, it ensures the publication of high-quality research contributions.
Theoretical Advances: It promotes theoretical advances that inspire practical applications and further research.
Types of Articles Accepted
Fundamenta Informaticae accepts various types of submissions, including:
Research Articles: Original research contributions presenting new theoretical insights.
Survey Articles: Comprehensive reviews and surveys of specific topics within theoretical computer science.
Short Communications: Concise reports on novel findings or ongoing research discussions.
Special Issues: Collections of articles focused on emerging trends or significant conferences.
Letters to the Editor: Brief communications addressing recent articles or scientific inquiries.

Journal Home: Journal Homepage

Editor-in-Chief: Damian Niwinski

Scope: Fundamenta Informaticae is a peer-reviewed journal that focuses on theoretical computer science, logic, and applications of formal methods. It publishes original research articles, surveys, and reviews that contribute to the advancement of foundational and applied aspects of informatics. The journal covers a wide range of topics within theoretical computer science and related fields, including:
Formal Methods: Mathematical foundations and applications of formal methods in software engineering and computer science.
Theoretical Computer Science: Fundamental aspects of algorithms, complexity theory, automata theory, computability theory, and formal languages.
Logic in Computer Science: Applications of mathematical logic to computer science, including modal logic, temporal logic, proof theory, and model theory.
Algorithmic Game Theory: Study of algorithms and computational aspects of game theory, including mechanism design and algorithmic mechanism design.
Computational Complexity: Analysis of complexity classes, hardness and completeness results, and the study of efficient computation.
Concurrency Theory: Formal models of concurrency, including process calculi, Petri nets, and distributed systems.
Applications of Formal Methods: Practical applications of formal methods in software verification, program analysis, security protocols, and system modeling.