Acta Informatica (AI)

Acta Informatica is an internationally recognized academic journal in the field of theoretical computer science, emphasizing rigorous and foundational aspects of informatics. Established in 1971, it has a long legacy in disseminating high‑quality original research on mathematical and conceptual foundations of computation, including topics such as algorithms, complexity theory, formal languages, logic, automata theory, and semantics of computation. The journal is known for publishing influential and highly technical research articles that push forward understanding of abstract computational models and structures. Published by Springer Nature, Acta Informatica serves an audience of researchers, academics, and advanced practitioners interested in deep theoretical insights rather than purely application‑oriented results. The journal maintains a rigorous peer‑review process and adheres to high standards of scholarly quality. While its issue frequency has varied over time, it is typically released several times per year, contributing to a steady flow of contributions in the theoretical computer science community. Owing to its foundational focus and long history, Acta Informatica has been a venue for classical results and continues to support developments at the intersection of computation and formal reasoning.

Acta Informatica (AI) is :-

• International, Peer-Reviewed, Open Access, Refereed, Software, Computer Networks and Communications, Information Systems, and occasionally special collections that contribute to advancing theoretical understanding in algorithms, logic, complexity, formal methods, surveys , Online or Print , Bi-Monthly Journal

• UGC Approved, ISSN Approved: P-ISSN P-ISSN: 0001-5903, E-ISSN: 1432-0525, Established: 1971, Impact Factor: 0.5
• Does Not Provide Crossref DOI

• Not indexed in Scopus, WoS, DOAJ, PubMed, UGC CARE