学术动态 | 《软件学报》专题征文——形式化方法与应用

欢迎点击蓝字，关注“智刊IT”！

【期刊征文】

《软件学报》专题征文——形式化方法与应用

一、重要时间

收稿截稿时间：2026年8月17日

第一轮评审意见通知日期：2026年10月6日

提交修改稿时间：2026年10月21日

ChinaSoft2026作报告日期：2026年11月6-8日

最终结果发出日期：2026年11月30日

出版时间：2027年第9期

二、征文范围（但不限于）

1. 形式化方法理论、方法、技术与工具

（1）模型检验

（2）定理证明

（3）静态分析与运行时验证

（4）约束求解与判定过程

（5）规约、构造与类型系统

（6）SMT与SAT求解

（7）模型驱动开发

（8）程序合成

（9）形式化方法与生成式人工智能

（10）形式化方法中的机器学习与概率推理

（11）形式化方法与仿真、测试的组合

（12）形式化方法支撑工具

2. 面向特定应用的形式化方法

（1）可信人工智能

（2）具身智能系统

（3）生成式人工智能

（4）区块链

（5）量子计算

（6）智能制造

（7）人机物融合系统

（8）特定软件系统的智能合成与验证

（9）芯片设计与软硬件协同

（10）信息安全与隐私

本征文信息来自《软件学报》官网，最终解释权归《软件学报》所有。本公众号转载信息均出于非营利目的的、非商业性的教育和科研目的，本公众号采用的非本公众号原创文章及图片等内容无法一一与版权者联系，如果本公众号所选用内容的文章作者及编辑认为其作品不宜上网供大家浏览，或不应无偿使用，请及时用电子邮件或电话通知我们，我们会立即删除，避免给双方造成不必要的经济损失。

扫描二维码关注我们

智刊IT

中国计算机期刊网