Journal Title：Acta Informatica

Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics.

Topics of interest include:

? semantics of programming languages

? models and modeling languages for concurrent, distributed, reactive and mobile systems

? models and modeling languages for timed, hybrid and probabilistic systems

? specification, program analysis and verification

? model checking and theorem proving

? modal, temporal, first- and higher-order logics, and their variants

? constraint logic, SAT/SMT-solving techniques

? theoretical aspects of databases, semi-structured data and finite model theory

? theoretical aspects of artificial intelligence, knowledge representation, description logic

? automata theory, formal languages, term and graph rewriting

? game-based models, synthesis

? type theory, typed calculi

? algebraic, coalgebraic and categorical methods

? formal aspects of performance, dependability and reliability analysis

? foundations of information and network security

? parallel, distributed and randomized algorithms

? design and analysis of algorithms

? foundations of network and communication protocols.

Acta Informatica 提供關于程序、計算系統和信息結構的設計與分析的形式化方法文章的國際傳播，以及理論計算機科學的相關領域，如自動機理論、計算機科學中的邏輯和算法。

感興趣的主題包括：

? 編程語言的語義

? 并發、分布式、反應式和移動系統的模型和建模語言

? 定時、混合和概率系統的模型和建模語言

? 規范、程序分析和驗證

? 模型檢查和定理證明

? 模態、時間、一階和高階邏輯及其變體

? 約束邏輯、SAT/SMT 求解技術

? 數據庫、半結構化數據和有限模型理論的理論方面

? 人工智能的理論方面，知識表示、描述邏輯

? 自動機理論、形式語言、術語和圖形重寫

? 基于游戲的模型、綜合

? 類型理論、類型演算

? 代數、余代數和分類方法

? 性能、可靠性和可靠性分析的形式化方面

? 信息和網絡安全基礎

? 并行、分布式和隨機算法

? 算法的設計和分析

? 網絡和通信協議基礎。

Acta Informatica創刊于1971年，由Springer Berlin Heidelberg出版商出版，收稿方向涵蓋工程技術 - 計算機：信息系統全領域，此期刊水平偏中等偏靠后，在所屬細分領域中專業影響力一般，過審相對較易，如果您文章質量佳，選擇此期刊，發表機率較高。平均審稿速度 12周，或約稿 ，影響因子指數0.4，該期刊近期沒有被列入國際期刊預警名單，廣大學者值得一試。