首页 >> 期刊动态 >> 正文

《软件学报》专刊征文——定理证明理论与应用

作者:来源:《软件学报》官网发布时间:2021/3/9 8:51:05浏览量:548

更多学术信息,请关注计算机期刊网官方微信公众号“智刊IT”

本征文信息来源于《软件学报》官网(http://www.jos.org.cn), 所有本次征文最终解释权归《软件学报》所有。

本网站所有转载的文章、图片、视频、音频文件等资料版权归版权所有人所有,本站转载文章均出于非营利目的的、非商业性的教育和科研目的,本站采用的非本站原创文章及图片等内容无法一一与版权者联系,如果本站所选用内容的文章作者及编辑认为其作品不宜上网供大家浏览,或不应无偿使用,请及时用电子邮件或电话通知我们,我们会立即删除,避免给双方造成不必要的经济损失。

《软件学报》专刊征文——定理证明理论与应用

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

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

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

专刊题目:定理证明理论与应用
特约编辑:曹钦翔(上海交通大学)、詹博华(中科院软件)、赵永望(浙江大学)
出版时间: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月西安
论文修改稿提交时间:2021年12月5日
终审结果发出日期:2021年12月15日
最终稿提交时间:2021年12月22日
出版时间:2022年第6期

[责任编辑:]

网友评论:

(请登录发言,并遵守相关规定)