2020 CCF中国软件大会（包含NASAC 2020和FMAC 2020）介绍以及我感兴趣的报告、论坛

前言

明天就要开NASAC了，这里提前做做功课，寻找一下自己感兴趣的报告、论坛。

主要信息来源

当然是官网了：
http://chinasoft2020.cqu.edu.cn/dhjieshao/dhgs.htm

大会手册做的很全：
http://chinasoft2020.cqu.edu.cn/system/_content/download.jsp?urltype=news.DownloadAttachUrl&owner=1623840921&wbfileid=4748960

1、NASAC 2020介绍

全国软件与应用学术会议（以下简称NASAC）由中国计算机学会主办（以下简称CCF），CCF软件工程专业委员会和CCF系统软件专业委员会承办，是中国软件工程、系统软件研究领域的重要顶级学术会议。NASAC创立于2002年，已历十八届，至今已成为中国软件科学相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。

2、FMAC 2020介绍

全国形式化方法与应用会议（以下简称FMAC）由中国计算机学会主办，CCF形式化方法专业委员会承办，创立于2016年，已举办四届。FMAC聚焦形式化方法理论前沿和国内最新研究进展，深化拓展形式化方法与相关领域的交叉，加强学术界与工业界合作，成为形式化方法领域的国内盛会，有力促进了形式化方法、工具和应用在中国的发展。

3、感兴趣的报告、论坛

20日周五：

• 上午：高可信嵌入式软件工程技术论坛 会议室 7
• 上午：系统软件前沿进展 宴会厅 1
• 上午：顶会顶刊论坛 宴会厅 3

---

• 下午：新兴软件安全论坛 会议室 1
• 下午：可持续演化的智能化软件理论、方法和技术（闭门会议） 会议室 2
• 下午：形式化方法与应用 会议室 7
• 下午：顶会顶刊论坛 宴会厅 3

21日周六：

• 09:45-10:30 特邀报告：谈宗玮（华为云应用平台产品部副总裁）
  可信软件的研发平台建设与探索
• 11点-12点半：面向领域的软件系统构造与质量保障论坛 会议室 1、6
• 11点-12点半：人工智能背景下的需求工程论坛 会议室 2、3
• 11点-12点半：优秀博士生论坛 宴会厅 3

---

• 下午2点-5点半：可信人工智能 会议室 1
• 优秀博士生论坛 (14:00-15:30) 宴会厅 2

22日周日：

• 10:15-11:00 何积丰：思维机器和强人工智能
• 11:00-12:00 “软件定义智能，支撑创新时代”院士高峰论坛

4、具体感兴趣的报告

周五

面向非确定性的软件质量保障方法与技术
地点：重庆富力假日酒店 会议室 5

---

系统软件前沿进展

---

面向领域的软件系统构造与质量保障论坛

---

顶会顶刊论坛

---

新兴软件安全论坛

---

可持续演化的智能化软件理论、方法和技术

周六

机器学习友好的系统软件方法与技术

4点-5点半：

优秀博士生论坛

可信人工智能

周日

暂无。

小结

强者太多。还没开会，已经感觉到了强者的气息。

所谓见贤思齐焉。