11月19日至22日，2020 CCF中国软件大会（即，第19届全国软件与应用学术会议（NASAC2020）与第5届全国形式化方法与应用会议（FMAC2020））在重庆胜利召开。会议由中国计算机学会（CCF）主办，CCF系统软件专业委员会、CCF软件工程专业委员会、CCF形式化方法专业委员会、重庆大学软件学院承办。大会组织特邀报告、高峰论坛、青年学者论坛、会议论文报告、优秀博士生论坛、软件教育论坛、国际顶级会议期刊论文论坛、软件系统原型竞赛和产品展示等近30个分领域学术活动。

实验室刘关俊老师与博士研究生何雷锋同学参加了本次大会，刘老师受邀在“高可信嵌入式软件工程论坛”做了报告，分享了实验室在并发实时系统模型检测上的最新研究成果，并与来自中国航天科技集团、中国航空无线电电子研究所、通号粤港澳（广州）交通科技有限公司、南京大学、西北工大、大连理工的特邀专家、以及参会的科研人员、老师与学生进行了交流讨论。