专刊简介：

2024年CCF中国软件大会（CCF ChinaSoft 2024）将于2024年11月15日至17日在陕西省西安市召开。大会由中国计算机学会（CCF）主办，CCF形式化方法专委会、系统软件专委会、软件工程专委会和西安电子科技大学承办。作为中国软件大会的常设论坛之一，“形式化方法与应用”专刊论坛聚焦形式化方法理论前沿，旨在于我国标志性学术刊物上反映形式化方法领域的最新研究成果，深入拓展形式化方法与相关领域的交叉，促进形式化方法、技术和工具在国内的应用和发展。“形式化方法与应用”专刊论坛的前身是全国形式化方法与应用会议（FMAC），至今已依托CCF形式化方法专委会在《软件学报》上连续组织出版9期专刊。更多信息可参考中国软件大会官方网站（https://chinasoft.ccf.org.cn/）。

ChinaSoft 2024“形式化方法与应用”专刊论坛围绕形式化方法基础理论、技术、支撑工具及领域应用，重点关注形式化方法与理论计算机科学、软件工程、基础软件（操作系统、编译器等）、嵌入式系统、人机物融合系统、概率/量子系统、网络与信息安全、可信人工智能（智能制造、智能交通、智能控制、可信机器学习）等领域的交叉结合。拟收录相关方向的综述或突破性的关键理论、关键技术以及得到工业应用的工具等相关论文。

投稿本专刊论坛的稿件通过两轮评审，将被邀请到ChinaSoft 2024做报告；通过两轮评审、一次口头质询并达到《软件学报》发表要求的投稿论文，将在《软件学报》“形式化方法与应用”专刊发表。

专刊题目：形式化方法与应用

专刊特约编辑/论坛联合主席：

陈明帅（浙江大学）

田聪（西安电子科技大学）

熊英飞（北京大学）

专刊出版时间：2025年第8期

一、征文范围：

（包括但不限于以下主题）：

1) 知识图谱与大模型的创新型融合模式研究

2) 面向工业软件的知识图谱建模和表示应用

3) 面向工业软件的知识图谱构建、更新与维护

4) 基于大模型集成与优化的工业应用场景与案例研究

5) 面向工业软件的系统架构与设计

6) 工业软件性能评估与优化

7) 面向知识图谱和大模型的自动化工具与平台

8) 面向知识图谱和大模型的工业软件跨学科合作与实际应用

9) 面向知识图谱和大模型的可解释性与可信度研究

包括但不限于以下主题：

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

模型检验

定理证明

静态分析与运行时验证

约束求解与判定过程

规约、构造与类型系统

SMT与SAT求解

模型驱动开发

程序合成

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

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

形式化方法支撑工具

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

可信人工智能

区块链

量子计算

智能制造

人机物融合系统

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

芯片设计与软硬件协同

信息安全与隐私

二、投稿要求：

1) 稿件格式：参照《软件学报》论文格式（网站上提供了论文模版，可下载）。

2) 投稿要求：投稿文章未在正式出版物上发表过，也不在其他刊物或会议的审稿过程中，不存在一稿多投现象；投稿文章具有合法性，无抄袭、剽窃、侵权等不良行为。

3) 投稿与评审方式：本专刊论坛投稿论文需经过两轮投稿和评审、一次口头报告和质询。

第一阶段：投稿使用EasyChair系统（https://easychair.org/conferences/?conf=ccfchinasoft2024），由ChinaSoft 2024“形式化方法与应用”专刊论坛程序委员会审稿，由会议通知评审结果。所有通过第一轮评审的稿件将进入第二阶段。

第二阶段：根据第一轮评审专家的意见进行修改，修改稿采用“软件学报在线投稿系统”（http://www.jos.org.cn）进行投稿。投稿时请选择投稿类型为“专刊投稿”，并在备注栏中注明“形式化方法与应用”字样。所有通过第二轮评审的稿件进入第三阶段。

第三阶段：稿件作者根据期刊评审意见修改论文并提交，在ChinaSoft 2024会议上进行口头报告，接受责任编辑的口头质询，责任编辑根据期刊评审结果、稿件修改情况及会议质询结果给出稿件处理建议，由期刊给出最终意见。

注：作者亦可略过第一阶段，直接投稿至《软件学报》“形式化方法与应用”专刊（详情参见软件学报官网专刊征文通知），之后的评审与报告方式与上述第二、第三阶段相同。然而，由于时间安排原因（见下），此种投稿方式无法获得大修机会。因此，本专刊论坛强烈建议作者参与第一阶段的投稿与评审。

三、重要时间：

第一阶段：ChinaSoft 2024会议评审

论文投稿截止日期：2024年6月30日

审稿结果通知日期：2024年7月26日

第二阶段：软件学报评审

论文（修改稿）提交截止日期：2024年8月26日

评审意见通知日期：2024年10月15日

第三阶段：ChinaSoft 2024会议报告

论文修改稿提交截止日期：2024年10月30日

ChinaSoft 2024报告日期：2024年11月15 -17日

终审结果通知日期：2024年12月2日

出版时间：2025年第8期