ChinaSoft 2024“形式化方法与应用”专刊论坛征稿通知
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. 形式化方法理论、方法、技术与工具
• 模型检验
• 定理证明
• 静态分析与运行时验证
• 约束求解与判定过程
• 规约、构造与类型系统
• 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期
四、论坛程序委员会/专刊审稿专家
论坛联合主席/专刊特约编辑
陈明帅，浙江大学
田聪，西安电子科技大学
熊英飞，北京大学
程序委员会委员/专刊审稿专家
卜磊，南京大学
蔡少伟，中国科学院软件研究所
曹钦翔，上海交通大学
曹永知，北京大学
陈立前，国防科技大学
陈振邦，国防科技大学
邓玉欣，华东师范大学
董威，国防科技大学
符鸿飞，上海交通大学
贺飞，清华大学
李国强，上海交通大学
李建文，华东师范大学
李屹，华为技术有限公司
李樾，南京大学
乔磊，北京控制工程研究所
宋富，中国科学院软件研究所
孙军，新加坡管理大学
孙猛，北京大学
王迪，北京大学
王竟亦，浙江大学
吴志林，中国科学院软件研究所
夏壁灿，北京大学
杨争峰，华东师范大学
姚培森，浙江大学
詹博华，华为技术有限公司
张弘策，香港科技大学（广州）
张苗苗，同济大学
张振亚，日本九州大学
赵恒军，西南大学
赵永望，浙江大学
周立，中国科学院软件研究所