저널 정보

Acta Informatica (ACTA)

저널 웹사이트를 보려면 로그인해 주세요
무료 가입으로 공식 사이트 조회, 마감 추적, 이메일 리마인더를 이용할 수 있습니다.
회원가입 로그인
영향력 지수:
1.2
출판사:
Springer
ISSN:
0001-5903
조회:
29653
팔로우:
0
이 페이지에 잘못된 정보가 있나요? 알려 주세요
이 데이터를 API로 가져오기
검색과 순위 목록은 자격 증명이 전혀 필요 없습니다. 이 페이지의 상세 데이터에는 무료 API 키가 필요합니다. 자세한 내용은 개발자 안내 페이지를 참고하세요.

논문 모집

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 ()

특별호

특별호: 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 ()
특별호: 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 ()
특별호: 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

관련 학회

댓글 0

아직 댓글이 없습니다.

댓글을 작성하려면 로그인해 주세요