ACTA INFORM是ACTA INFORMATICA期刊的縮寫。ACTA INFORM期刊的出版地是GERMANY，主要的研究方向是工程技術(shù)-計(jì)算機(jī)：信息系統(tǒng)。

信息學(xué)報(bào)提供有關(guān)程序、計(jì)算系統(tǒng)和信息結(jié)構(gòu)的設(shè)計(jì)和分析的正式方法以及理論計(jì)算機(jī)科學(xué)的相關(guān)領(lǐng)域（如自動(dòng)機(jī)理論、計(jì)算機(jī)科學(xué)中的邏輯和算法）的文章的國際傳播。感興趣的主題包括：?編程語言的語義?并行、分布式、反應(yīng)式和移動(dòng)系統(tǒng)的模型和建模語言?時(shí)間、混合和概率系統(tǒng)的模型和建模語言?規(guī)范、程序分析和驗(yàn)證?模型檢查和定理證明?模態(tài)邏輯、時(shí)態(tài)邏輯、一階和高階邏輯及其變體?約束邏輯、SAT/SMT求解技術(shù)?數(shù)據(jù)庫、半結(jié)構(gòu)化數(shù)據(jù)和有限模型理論的理論方面?人工智能、知識(shí)表示、描述邏輯的理論方面?自動(dòng)控制理論、形式語言、術(shù)語和圖形重寫?基于游戲的模型，綜合?類型理論，類型計(jì)算?代數(shù)、代數(shù)和分類方法?性能、可靠性和可靠性分析的正式方面?信息和網(wǎng)絡(luò)安全基礎(chǔ)?并行、分布式和隨機(jī)算法?算法的設(shè)計(jì)和分析?網(wǎng)絡(luò)和通信協(xié)議的基礎(chǔ)

該刊的15，發(fā)行周期是Monthly，從官網(wǎng)http://link.springer.com/journal/236上查到本刊的通訊地址是SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013，投稿地址是https://submission.nature.com/new-submission/236/3。網(wǎng)友對(duì)該刊的審稿速度給與的評(píng)價(jià)是>12周，或約稿，錄用比一般是容易。