信息法（Acta Informatica）在中科院分區(qū)中位于4區(qū)，JCR分區(qū)位于Q4。審稿速度一般為 12周，或約稿 ，且近兩年沒有被列入國際預(yù)警名單，您可以放心投稿。如果您需要投稿指導，可在線咨詢我們的客服老師，我們將竭誠為您服務(wù)。

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

感興趣的主題包括：

? 編程語言的語義

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

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

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

? 模型檢查和定理證明

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

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

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

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

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

? 基于游戲的模型、綜合

? 類型理論、類型演算

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

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

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

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

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

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