20日

上午

9:00-12:30

众测论坛

会议室1

面向工业的操作系统

会议室2

人工智能背景下的需求工程

会议室3

系统软件前沿进展

宴会厅1

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

宴会厅2

顶会顶刊论坛

宴会厅3

非确定性软件系统质量保障技术

会议室5

系统软件教育论坛

会议室6

高可信嵌入式软件工程论坛

会议室7

面向持续软件工程的架构技术

多功能厅

编程现场大数据

宴会厅5

20日

下午

14:00-17:30

新型软件安全

会议室1

可持续演化的智能化软件理论、方法与技术(闭门会议)

会议室2

形式化方法教育论坛

会议室3

程序设计教育论坛

宴会厅1

计算机软件通识教学论坛

宴会厅2

顶会顶刊论坛

宴会厅3

国产工业软件前沿与发展论坛

会议室5

系统软件教育论坛

会议室6

形式化方法与应用

会议室7

区块链

多功能厅

百答论坛

宴会厅5

软件工程教学论坛

特丽斯酒店

20日

晚上

20:00-22:00

软件工程专委会会议

多功能厅

11月21日（星期六）日程

时间

会议内容

场地

上午

8:30-9:00

开幕式

宴会厅

9:00-9:45

特邀报告：王怀民 院士

分布式计算2.0：基于网络的联接计算

9:45-10:30

特邀报告：陈左宁 院士

面向新一代智能计算系统的操作系统

11:00-12:30

人工智能背景下的需求工程

会议室2

人工智能背景下的需求工程

会议室3

YR-FMAC

宴会厅1

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

宴会厅2

优秀博士生论坛

宴会厅3

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

会议室1

非确定性软件系统质量保障技术

会议室5

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

会议室6

形式化方法与应用

会议室7

面向持续软件工程的架构技术

多功能厅

形式化方法与应用

特丽斯酒店

下午

14:00-17:30

可信人工智能

会议室1

软件定义方法及实践技术论坛（13:30开始）

会议室2

YR-FMAC

宴会厅1

优秀博士生论坛 (14:00-15:30)

宴会厅2

机器学习友好的系统软件方法与技(16:00-17:00)

系统软件安全技术论坛

宴会厅3

开源软件开发与开源数字治理研讨会（13:30开始）

会议室5

云际计算论坛（13:30开始）

会议室6

          会议室7

云原生与智能化运维

多功能厅

软件工程教学论坛案例大赛

特丽斯酒店

绿色创新大赛

重庆大学虎溪校区理科楼

LA106、LA107、LA108

原型竞赛命题型

LA104

原型竞赛自由型

LA208

晚上

18:00-20:00

晚宴

宴会厅

20:30-22:30

形式化专委会年会

多功能厅

11月22日（星期日）日程

时间

会议内容

场地

上午

8:30-9:15

特邀报告：谈宗玮 华为云应用平台产品部副总裁

可信软件的研发平台建设与探索

宴会厅

9:15-10:00

特邀报告：郑志明 院士

精准智能

10:15-11:00

特邀报告：何积丰 院士

思维机器和强人工智能

11:00-12:00

“软件定义智能，支撑创新时代”院士高峰论坛

下午

13:30-15:00

青年学者论坛

15:15-16:30

闭幕式（颁奖）

16:30-18:30

系统软件专委年会

多功能厅