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.
Print ISSN:   0169-2968
Electronic ISSN:  1875-8681
Abstracting and Indexing:  Science Citation Index Expanded, Scopus.
Imapct Factor 2023:  0.4
Subject Area and Category:  Computer & Communication Sciences, Computer Science
Publication Frequency:  Monthly
H Index:  72
Q1:  
Q2:  
Q3:  Algebra and Number Theory
Q4:  
Cite Score:  2.0
SNIP:  0.716
Journal Rank(SJR):  0.319
Latest Articles:   Latest Articles in Fundamenta Informaticae
Guidelines for Authors: Fundamenta Informaticae Author Guidelines
Paper Submissions: Paper Submissions in Fundamenta Informaticae
Publisher:  IOS Press
Country:  Netherlands