深度学习是人工智能领域的一个新兴技术，近几年获得广泛的关注。深度学习技术已在一些长期未解决的任务取得了与人类相当的能力，比如计算机视觉、自然语言处理、语音识别等。随着技术的长足进步，越来越多的深度学习系统应用随之而生。时至今日，深度学习系统已经被大量用于医药、 金融、交通、国防、电力等行业。然而，目前深度学习系统也同时面临着亟待解决的安全性和可靠性等可信性问题。
深度学习系统的可信性已经逐渐成为制约人工智能技术在实际生产和生活中应用的关键问题，尤其是安全攸关领域。深度学习系统的可信性问题不只是在人工智能或者机器学习领域得到关注，也引起了形式化方法领域的关注。可以预见，深度学习系统的可信性问题将会是工业界和学术界共同关注的焦点。
ChinaSoft 2021智能系统的分析和验证Track特向关注该主题的研究人员公开征集稿件。本Track的主题将围绕智能系统的安全内涵与可解释性、形式化建模、形式化验证、测试技术、对抗攻击技术等技术，以及形式化工具、应用及评估等方面。专刊将重点关注与智能系统的分析和验证相关的形式化方法研究领域创新性、突破性的高水平研究成果，并探讨其在中国软件产业中的应用前景。
具有创新性和突破性的高水平研究成果将被邀请到ChinaSoft 2021报告。通过两轮评审、一次口头质询并达到《软件学报》发表要求的投稿论文，将在《软件学报》“智能系统的分析和验证”专刊发表。
一、征文范围
包括但不限于以下主题：
（1） 智能系统的安全内涵与可解释性
（2） 智能系统的形式化建模
（3） 智能系统的形式化验证
（4） 智能系统的测试技术
（5） 智能系统的对抗攻击技术
（6） 智能系统的形式化工具、应用及评估
二、投稿要求和流程
1. 稿件格式：参照《软件学报》论文格式（网站上提供了论文模版，可下载）。
2. 投稿文章未在正式出版物上发表过，也不在其他刊物或会议的审稿过程中，不存在一稿多投现象；保证投稿文章的合法性(无抄袭、剽窃、侵权等不良行为)。
3. 投稿和评审方式：本Track投稿论文需经过两轮投稿和评审、一次口头报告和质询。
a) 第一轮：投稿使用NASAC 2021会议系统（投稿链接https://easychair.org/conferences/?conf=chinasoft2021，选择“ChinaSoft 2021智能系统的分析和验证”），ChinaSoft 2021智能系统的分析和验证Track PC审稿，由会议通知评审结果，所有通过第一轮评审的稿件，进入第二轮；
b) 第二轮：按照第一轮评审专家的意见进行修改，修改稿采用“软件学报在线投稿系统”(http://www.jos.org.cn)投稿。投稿时请选择专刊投稿类型为"专刊"，同时在文章标题后+“智能系统的分析和验证”字样。第二轮投稿论文由期刊组织审稿，审稿意见由期刊通知，所有通过第二轮评审的稿件，进入第三轮；
c) 第三轮：要求稿件根据期刊评审意见修改论文，在ChinaSoft 2021会议进行口头报告，接受责任编辑的口头质询，责任编辑根据期刊评审结果、质询结果给出稿件处理建议，由期刊给出最终意见。
4. 投稿被录用后，由《软件学报》“智能系统的分析和验证”专刊发表。
三、重要日期
第一轮论文投稿截稿时间：2021年7月30日
第一轮审稿结果通知日期：2021年8月25日
第二轮论文修改稿提交日期：2021年9月5日
第二轮论文评审意见通知时间：2021年10月15日
第三轮论文报告时间：ChinaSoft 2021（2021年11月）
第三轮论文修改稿提交日期：2021年12月10日
终审结果发出日期：2021年12月20日
最终稿提交日期：2021年12月31日
出版日期：2022年第7期
有问题请联系许智武老师：xuzhiwu@szu.edu.cn