《软件学报》面向新兴系统的形式化建模与验证方法专刊
征文通知

形式化方法是计算机科学的重要理论基础。形式化方法以严格的数学化和机械化方法为基础来规约、构建和验证计算系统，是改善和确保计算系统质量的重要方法。历史上，形式化方法在硬件和协议验证取得巨大成功。近年来，随着相关技术的发展，形式化方法已经在越来越多的新兴系统中得到应用，并取得显著成效。

本专刊主要关注“面向新兴系统的形式化建模与验证方法”，拟聚焦新兴领域和新兴系统中形式化方法的关键理论和技术的扩展和应用，收录国内外在面向新兴系统的形式化建模与验证方法、理论、工具和应用等方面的高水平研究成果。专刊将与中国计算机学会形式化方法专业委员会合作，收录的论文不仅要通过正常评审程序，而且要求在形式化方法专业委员会年度会议FMAC 2019上报告，最终将在2020年《软件学报》第8期出版。

专刊题目：面向新兴系统的形式化建模与验证方法
特约编辑：陈振邦(国防科技大学)、冯新宇(南京大学)、刘志明(西南大学)
出版时间：2020年第8期

一、征文范围
本专刊拟收录的论文包括两大类：
1.    形式化方法的理论和技术，如模型和语义、符号执行、模型检验、SMT求解、定理证明等，在（包括但不限于）以下新兴方向和新兴系统中的应用：
1.1  人工智能和机器学习
1.2  信息安全
1.3  软件定义网络
1.4  物联网
1.5  区块链
1.6  分布式计算和云计算
1.7  量子计算
2.    具有广泛应用前景的、通用形式化建模和验证方法、理论、技术和工具研究。

二、投稿要求
1. 投稿方式：采用“软件学报在线投稿系统”(http://www.jos.org.cn)投稿。投稿时稿件类型请选择"专刊投稿"，并在备注栏中注明“面向新兴系统的形式化建模与验证方法”字样。
2. 稿件格式：参照《软件学报》论文格式(网站上提供了论文模版，可下载)。
3. 投稿文章未在正式出版物上发表过，也不在其他刊物或会议的审稿过程中，不存在一稿多投现象；保证投稿文章的合法性(无抄袭、剽窃、侵权等不良行为)。
4. 其他事项请参阅投稿指南：http://www.jos.org.cn/jos/ch/reader/view_fixed_content.aspx?id=instructions
5. 投稿作者需提交投稿声明；专刊投稿文章不收审理费。录用刊发文章收取软件学报标准版面费。发表之后，将按软件学报标准支付稿酬，并赠送样刊。
6. 通过阶段评审的论文，需要在2019年中国计算机学会形式化方法专业委员会承办的全国形式化方法与应用会议FMAC 2019（2019年11月30日-12月1日，上海）上报告，根据论文修改情况和会议报告情况终审确定是否录用。

三、重要时间
截稿时间：2019年8月31日
评审意见通知时间：2019年10月15日
修改稿提交时间：2019年11月5日
第二轮评审意见：2019年11月20日
FMAC 2019报告时间：2019年11月30-12月1日（上海）
终审结果发出日期：2019年12月10日
最终稿提交日期：2019年12月31日
出版日期：2020年第8期