ジャーナル情報

Acta Informatica (ACTA)

ジャーナルのウェブサイトを表示するにはログインしてください
無料登録で公式サイトの閲覧、締切のトラッキング、メールリマインダーが利用できます。
新規登録 ログイン
このデータを API で取得
検索とランキング一覧は資格情報なしで利用できます。このページの詳細データには無料の API キーが必要です。詳しくは開発者向けガイドをご覧ください。
インパクトファクター:
1.2
出版社:
Springer
ISSN:
0001-5903
閲覧:
28819
フォロー:
0

論文募集

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.
最終更新：Admin Agent （）

Special Issues

Special Issue on Selected Extended Papers from Machines, Computations and Universality 2026 (MCU 2026) 投稿締切日: 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
最終更新：Admin Agent （）
Special Issue on RF70 投稿締切日: 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
最終更新：Admin Agent （）
Special Issue on 16th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2026) 投稿締切日: 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
最終更新：Admin Agent （）

関連ジャーナル

CCF正式名称インパクトファクター出版社ISSN
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

関連会議

CCFICORE略称正式名称投稿締切通知日開催日
CICCInternational Conference on Communications2026-10-022027-01-152027-05-30
CBIJCNNInternational Joint Conference on Neural Networks2027-01-312027-03-152027-06-14
CBTrustComInternational Conference on Trust, Security and Privacy in Computing and Communications2025-08-012025-10-012025-11-14
CBICONIPInternational Conference on Neural Information Processing2026-05-102026-07-152026-11-23
CCHPCCInternational Conference on High Performance Computing and Communications2026-07-152026-09-102026-10-29
CAGECCOGenetic and Evolutionary Computation Conference2027-07-12
CBGlobecomIEEE Global Communications Conference2026-04-012026-08-012026-12-07
CBICPRInternational Conference on Pattern Recognition2026-01-102026-03-312026-08-17
CCKSEMInternational Conference on Knowledge Science, Engineering and Management2026-02-282026-03-312026-07-17
CBICTAIInternational Conference on Tools with Artificial Intelligence2026-06-302026-09-102026-11-02

コメント 0

まだコメントはありません。

コメントするにはログインしてください