ACTA INFORM期刊全称叫什么

ACTA INFORM是ACTA INFORMATICA期刊的缩写。ACTA INFORM期刊的出版地是GERMANY，主要的研究方向是工程技术-计算机：信息系统。

信息学报提供有关程序、计算系统和信息结构的设计和分析的正式方法以及理论计算机科学的相关领域（如自动机理论、计算机科学中的逻辑和算法）的文章的国际传播。感兴趣的主题包括：?编程语言的语义?并行、分布式、反应式和移动系统的模型和建模语言?时间、混合和概率系统的模型和建模语言?规范、程序分析和验证?模型检查和定理证明?模态逻辑、时态逻辑、一阶和高阶逻辑及其变体?约束逻辑、SAT/SMT求解技术?数据库、半结构化数据和有限模型理论的理论方面?人工智能、知识表示、描述逻辑的理论方面?自动控制理论、形式语言、术语和图形重写?基于游戏的模型，综合?类型理论，类型计算?代数、代数和分类方法?性能、可靠性和可靠性分析的正式方面?信息和网络安全基础?并行、分布式和随机算法?算法的设计和分析?网络和通信协议的基础

该刊的年访问量是15篇，发行周期是Monthly，从官网http://link.springer.com/journal/236上查到本刊的通讯地址是SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013，投稿地址是https://submission.nature.com/new-submission/236/3。网友对该刊的审稿速度给与的评价是>12周，或约稿，录用比一般是容易。