期刊簡介預(yù)計審稿時間： 12周，或約稿

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 提供關(guān)于程序、計算系統(tǒng)和信息結(jié)構(gòu)的設(shè)計與分析的形式化方法文章的國際傳播，以及理論計算機(jī)科學(xué)的相關(guān)領(lǐng)域，如自動機(jī)理論、計算機(jī)科學(xué)中的邏輯和算法。

感興趣的主題包括：

? 編程語言的語義

? 并發(fā)、分布式、反應(yīng)式和移動系統(tǒng)的模型和建模語言

? 定時、混合和概率系統(tǒng)的模型和建模語言

? 規(guī)范、程序分析和驗(yàn)證

? 模型檢查和定理證明

? 模態(tài)、時間、一階和高階邏輯及其變體

? 約束邏輯、SAT/SMT 求解技術(shù)

? 數(shù)據(jù)庫、半結(jié)構(gòu)化數(shù)據(jù)和有限模型理論的理論方面

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

? 自動機(jī)理論、形式語言、術(shù)語和圖形重寫

? 基于游戲的模型、綜合

? 類型理論、類型演算

? 代數(shù)、余代數(shù)和分類方法

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

? 信息和網(wǎng)絡(luò)安全基礎(chǔ)

? 并行、分布式和隨機(jī)算法

? 算法的設(shè)計和分析

? 網(wǎng)絡(luò)和通信協(xié)議基礎(chǔ)。

《Acta Informatica》(信息法)編輯部通訊方式為SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013。如果您需要協(xié)助投稿或潤稿服務(wù)，您可以咨詢我們的客服老師。我們專注于期刊咨詢服務(wù)十年，熟悉發(fā)表政策，可為您提供一對一投稿指導(dǎo)，避免您在投稿時頻繁碰壁，節(jié)省您的寶貴時間，有效提升發(fā)表機(jī)率，確保SCI檢索（檢索不了全額退款）。我們視信譽(yù)為生命，多方面確保文章安全保密，在任何情況下都不會泄露您的個人信息或稿件內(nèi)容。