Journal Information

Acta Informatica (ACTA)

Please Login to view website of journal
Free account: view official websites, track deadlines, and get email reminders.
Register Login
Get this via API
Search and ranking lists need no credentials at all; full detail for this page needs a free API key. See the developer guide.
Impact Factor:
1.2
Publisher:
Springer
ISSN:
0001-5903
Viewed:
29224
Tracked:
0

Call For Papers

Acta Informatica (ACTA) is an academic journal published by Springer. (ISSN 0001-5903, impact factor 1.2, CCF C).

Aims and scope Acta Informatica is publishing original papers in all areas covering the mathematical foundations of Computer Science. We solicit both research papers, survey articles and shorter contributions (notes). Topics include theoretical aspects of the following items [notice that you will get a refined list when clicking on these items]. Algorithms and their analysis Automata and formal languages Computability and complexity Data handling Discrete Mathematics Logic (in Computer Science) Mathematical foundations of Artificial Intelligence Programming language theory Security Systems theory Verification This includes also modern topics like Quantum Computing.
Last updated by Admin Agent on

Special Issues

Special Issue on Selected Extended Papers from Machines, Computations and Universality 2026 (MCU 2026) Submission Date: 2026-11-01 This issue will be composed of extended selected communications presented at Machines, Computations and Universality 2026. Submission is by invitation only. This special issue will feature extended versions of selected papers presented at Machines, Computations and Universality 2026. Submissions are by invitation only. The scope of the special issue reflects the broad range of topics covered by the conference, including, but not limited to, computation in discrete models such as Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, and neural models, as well as analog and hybrid models, including BSS machines, infinite-time cellular automata, real computation, and quantum computing. The issue also welcomes contributions to computability theory and automata theory, as well as studies addressing the meaning and implementation of universality across these different computational frameworks. Particular emphasis is placed on identifying the boundaries between decidability and undecidability, investigating the simplest universal models, and analyzing the computational complexity of predicting the evolution of computations. Further topics of interest include parallel models of computation and their connections with decidability, complexity, and universality. Authors should prepare their manuscript according to the Instructions for Authors available from the Journal’s submission guidelines: https://link.springer.com/journal/236/submission-guidelines. Submitted papers should present original, unpublished work, relevant to one of the topics of the special issue. All submitted papers will be evaluated on the basis of relevance, significance of contribution, technical quality, scholarship, and quality of presentation by at least two independent reviewers. It is the policy of the journal that no submission, or substantially overlapping submission, be published or be under review at another journal or conference at any time during the review process. Please note that the authors of selected papers presented at MCU 2026 are invited to submit an extended version of their contributions by taking into consideration both the reviewers’ comments on their conference paper, and the feedback received during presentation at the conference. It is worth clarifying that the extended version is expected to contain a substantial scientific contribution, e.g., in the form of new algorithms, experiments or qualitative/quantitative comparisons, and that neither verbatim transfer of large parts of the conference paper nor reproduction of already published figures will be tolerated. The extended versions of MCU 2026 papers will undergo the standard, rigorous journal review process and be accepted only if well-suited to the topic of this special issue and meeting the scientific level of the journal. Final decisions on all papers are made by the Editor in Chief. https://link.springer.com/collections/jcciehfbhd
Last updated by Admin Agent on
Special Issue on RF70 Submission Date: 2026-12-01 Authors should prepare their manuscript according to the Instructions for Authors available from the Journal’s submission guidelines: https://link.springer.com/journal/236/submission-guidelines. Submitted papers should present original, unpublished work, relevant to one of the topics of the special issue. All submitted papers will be evaluated on the basis of relevance, significance of contribution, technical quality, scholarship, and quality of presentation by at least two independent reviewers. It is the policy of the journal that no submission, or substantially overlapping submission, be published or be under review at another journal or conference at any time during the review process. Final decisions on all papers are made by the Editor in Chief. https://link.springer.com/collections/ihbaehdahe
Last updated by Admin Agent on
Special Issue on 16th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2026) Submission Date: 2026-12-31 Proposal for a special issue of Acta Informatica dedicated to selected and extended papers to be presented at the 16th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2026) that will be held in Rouen, France, June 29–30, 2026. 1. General Information on NCMA NCMA 2026 is the 16th edition in a series of events established in 2009. These work¬shops aim to establish and maintain a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of (non-)classical models of automata and applications, to provide a platform for presenting and discussing new ideas and results, and to support the development of the theory and its applica¬tions. Many non-classical models of automata and grammar-like structures are the natural objects of theoretical computer science. They are studied from different points of view in various areas, both as theoretical concepts and as formal models for applications. Typical, but not exclusive, topics: . Formal models inspired by linguistics, bio-computing, text processing, docu¬ment engineering, self-assembly, etc. . Bio-inspired models of automata and generative devices . Cellular automata . Forgetting automata and restarting automata . Automata with additional resources . Regulated rewriting/automata . Networks of automata or generative devices . Models of cooperation and communication . Quantum automata . Automata in the framework of membrane computing . Complexity aspects for formal systems Other related topics, in particular, contributions dealing with questions on classical automata and generative devices are also welcome. The 16th edition of NCMA will take place in Rouen, France, June 29–30, 2026 co-located with DLT. More information can be found on the website: https://dlt-ncma-2026.sciencesconf.org. https://link.springer.com/collections/fjegcecbbj
Last updated by Admin Agent on

Related Journals

CCFFull NameImpact FactorPublisherISSN
International Journal of Robotics and AutomationACTA Press0826-8185
InformaticaIOS Press0868-4952
CKnowledge-Based Systems7.2Elsevier0950-7051
CFuture Generation Computer Systems5.9Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655
CIEEE Transactions on Industrial Informatics11.7IEEE1551-3203
CIEEE Internet of Things Journal8.9IEEE2327-4662
CEngineering Applications of Artificial Intelligence9.0Elsevier0952-1976
CExpert Systems with Applications7.5Elsevier0957-4174

Related Conferences

Comments 0

No comments yet.

Please Login to post a comment