信息学报提供有关程序、计算系统和信息结构的设计和分析的正式方法以及理论计算机科学的相关领域（如自动机理论、计算机科学中的逻辑和算法）的文章的国际传播。感兴趣的主题包括：?编程语言的语义?并行、分布式、反应式和移动系统的模型和建模语言?时间、混合和概率系统的模型和建模语言?规范、程序分析和验证?模型检查和定理证明?模态逻辑、时态逻辑、一阶和高阶逻辑及其变体?约束逻辑、SAT/SMT求解技术?数据库、半结构化数据和有限模型理论的理论方面?人工智能、知识表示、描述逻辑的理论方面?自动控制理论、形式语言、术语和图形重写?基于游戏的模型，综合?类型理论，类型计算?代数、代数和分类方法?性能、可靠性和可靠性分析的正式方面?信息和网络安全基础?并行、分布式和随机算法?算法的设计和分析?网络和通信协议的基础
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, INFORMATION SYSTEMS 计算机：信息系统 | 4区 | 否 | 否 |
| JCR分区等级 | JCR所属学科 | 分区 | 影响因子 |
| Q4 | COMPUTER SCIENCE, INFORMATION SYSTEMS | Q4 | 0.871 |
* 请认真填写需求信息，我们会在24小时内与您取得联系。
