《软件学报》形式化方法的理论基础
征文通知

形式化方法主要研究如何把具有清晰数学基础的模型、规范、分析以及验证融入软硬件设计开发的各个阶段，是改善和确保计算机系统正确性和可靠性的重要途径。在领域需求的推动下，形式化方法技术和工具方面的研究取得了显著成效的同时，需要研究新的理论和方法来解决更复杂的计算机系统问题。本专刊重点关注“形式化方法的理论基础”，将收录国内外形式化方法的理论、模型、算法研究的高水平成果。专刊将与中国计算机学会形式化方法专业委员会合作，收录的论文不仅要通过正常评审程序、而且要求在形式化方法专业委员会年度会议FMAC2017上报告，最终将在2018年第6期出版。

专刊题目：形式化方法的理论基础
特约编辑：傅育熙、李国强、田聪
出版时间：2018年第6期

一、征文范围：包括但不限于以下主题：
形式化方法的逻辑及其应用
形式化方法中相关问题的判定性和复杂性
自动机理论与形式语言
并发、安全和移动模型
实时、嵌入式、混成系统
程序的分析和验证，抽象解释
模型检测、等价性验证
自动和交互定理证明
SAT和SMT求解器及其应用

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

三、重要时间
截稿时间：2017年7月1日
评审意见通知时间：2017年9月20日
FMAC2017报告日期：2017年10月21-22日(长沙)
论文修改稿提交日期：2017年11月20日
终审结果发出日期：2017年11月30日
最终稿提交日期：2017年12月15日
出版日期：2018年第6期