软件学报专刊征文:定理证明理论与应用(截稿时间:9月5日)
  • 分享:
  • 0

《软件学报》定理证明理论与应用
征文通知

随着计算机系统在工业和生活中越来越广泛的应用,软件和硬件的可靠性受到越来越多的关注。定理证明方法将程序和系统的正确性表达为数学命题,然后使用逻辑推导的方式证明正确性。不同于基于程序测试的进路,定理证明方法能保证覆盖所有边缘情况,完全排除一个特定类型的错误。而基于逻辑推导的交互式定理证明技术还能不受系统状态空间大小的限制,验证非常复杂的系统和性质。因此,定理证明技术不仅是形式化方法领域,也是众多其他应用领域国内外学者的关注焦点和研究新热点。

近年来,定理证明已经逐步用于越来越多的软件、硬件系统验证,这一方面为软硬件系统的安全性保障提供了新的有力工具,另一方面也成为定理证明技术发展的有利契机。目前,定理证明的规模化问题、定理证明工具本身的底层逻辑理论问题、适应于定理证明方案的程序验证理论问题等变得越来越重要,对于分析、逻辑、概率等基础定理证明库或求解方案的需求也越来越迫切。

本专刊“定理证明理论与应用”的主题将围绕定理证明本身的理论研究、定理证明本身的工具开发(特别是用于程序验证场景的工具开发)以及定理证明方法的各项应用,包括其在数学定理验证、算法数据结构验证、硬件验证、编译器验证、操作系统验证、区块链智能合约验证、概率、混成、量子等系统的建模以及机器学习的有关验证等各个方面的实际应用。本专刊拟收录相关方向的综述或定理证明领域的突破性技术、关键理论、新验证工具以及重要应用。

专刊题目:定理证明理论与应用
特约编辑:曹钦翔(上海交通大学)、詹博华(中科院软件)、赵永望(浙江大学)
出版时间:2022年第6期

一、征文范围
本专刊拟收录相关方向的综述或定理证明领域的突破性技术、关键理论、新验证工具以及重要应用。包括但不限于以下主题:
(1)自动定理证明的理论和工具
(2)交互式定理证明的理论和工具
(3)形式化数学的验证及应用
(4)基于定理证明的程序验证
(5)信息安全相关的验证
(6)算法与数据结构的验证及应用
(7)硬件设计的建模和验证
(8)编译器、操作系统设计与实现的验证
(9)区块链智能合约和编程语言的建模和验证
(10)机器学习算法和模型的验证
(11)概率、混成、量子系统的建模和验证
(12)机器学习在定理证明中的应用

二、投稿要求
(1)投稿方式:采用“软件学报在线投稿系统”(http://www.jos.org.cn)投稿。投稿时请选择专刊投稿类型为"专刊",同时在文章标题后+“定理证明理论与应用”字样
(2)稿件格式:参照《软件学报》论文格式(网站上提供了论文模版,可下载)。
(3)投稿文章未在正式出版物上发表过,也不在其他刊物或会议的审稿过程中,不存在一稿多投现象;保证投稿文章的合法性(无抄袭、剽窃、侵权等不良行为)。
(4)投稿文章如果有其作者开发的定理证明工具或者定理证明项目代码为佐证的,应当在投稿时一并提交相关代码的压缩包或者下载链接参与Artifact Evaluation。
(5)其他事项请参阅投稿指南:http://www.jos.org.cn/jos/ch/reader/view_fixed_content.aspx?id=instructions
(6)投稿作者需提交投稿声明;专刊投稿文章不收审理费。录用刊发文章收取软件学报标准版面费。发表之后,将按软件学报标准支付稿酬,并赠送样刊。
(7)通过阶段评审的论文,需要在2021年CCF中国软件大会(ChinaSoft 2021)上做会议报告,根据论文修改情况和会议报告情况终审确定是否录用。

三、重要时间
截稿时间:2021年9月5日
评审意见通知时间:2021年10月20日
Artifact Evaluation结果通知时间:2021年11月15日
ChinaSoft 2021报告时间:2021年11月西安 因疫情原因,会议延期到12月24-26日
终审结果发出日期:2021年12月15日  2022年1月15日
最终稿提交时间:2021年12月22日 2022年1月20日
出版时间:2022年第6期
 
 

 

发布日期:2021-03-06浏览次数:

当期目录


文章目录

过刊浏览

年份

刊期

联系方式
  • 《软件学报 》
  • 主办单位:中国科学院软件研究所
                     中国计算机学会
  • 邮编:100190
  • 电话:010-62562563
  • 电子邮箱:jos@iscas.ac.cn
  • 网址:https://www.jos.org.cn
  • 刊号:ISSN 1000-9825
  •           CN 11-2560/TP
  • 国内定价:70元
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号