【计算机科学】CCF-C特刊征稿合集，见刊快，期刊质量高，速投！

 期刊推荐

期刊名称：ACTA INFORMATICA

主题包括以下项目的理论方面。

算法及其分析

自动机和形式语言

可计算性和复杂性

数据处理

离散数学

逻辑学（计算机科学）

人工智能的数学基础

编程语言理论

安全

系统理论

验证

• 中科院四区

• 期刊ISSN：0001-5903

• E-ISSN：1432-0525

• 影响因子：0.4

• 官方网站：

  https://www.springer.com/236  

• 期刊投稿网址：

  https://submission.nature.com/new-submission/236/3    

 特刊征稿

01

 特刊名称：

Selected Extended Papers from 

Machine Computation and Universality 2024

截止时间：

开放提交日期：

01 六月 2024

提交截止日期：

01 十月 2024

目标及范围：

本期将由在 Machine Computation and Universality 2024 上发表的扩展精选通信组成。提交须经邀请。 会议主题的范围包括但不限于各种离散模型（图灵

机、寄存器机、元胞自动机、瓦片组装系统、重写系统、分子计算模型、神经模型等）、模拟和混合模型（BSS 机器、无限时间元胞自动机、真实机器、量子计算等）的计算，以及在这些背景下普遍性的意义和植入。特别强调在各种模型中寻找可判定性和不可判定性之间的边界，寻找最简单的通用模型，预测各种模型中计算演变的计算复杂性。并行计算模型及其与可判定性、复杂性和普遍性的联系。

02

 特刊名称：

Selected Extended Papers of SMT 2024 

and Related Papers

截止时间：

开放提交日期

01 七月 2024

提交截止日期

01 十月 2024

目标及范围：

该系列的目的是在一卷中收集满足性模理论 （SMT） 的最新研究。该文集旨在包括 2024 年 SMT 研讨会上发表的论文的扩展版本，以及 SMT 领域的其他贡献。

确定一阶公式模背景理论的满足性，即满足性模理论（SMT）问题，已被证明是验证、综合、测试生成、编译器优化、调度和其他领域的使能技术。SMT技术的成功取决于针对每种背景理论（例如，线性算术、数组理论或位向量理论）的特定领域决策程序的发展，以及允许人们获得更通用的SMT工具的组合方法，通常利用布尔满足性（SAT）求解器。这些因素共同使SMT技术非常适合用于更大规模的自动化推理和验证工作。