基础软件：自主、安全与创新,2021 CCF中国软件大会成功举办

  2021年11月24-26日，我国软件领域规模和影响最大的CCF中国软件大会在古都西安圆满召开。大会由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办，西安电子科技大学计算机科学与技术学院（国家示范性软件学院）具体落实，软件工程学科团队与西安市智能软件工程重点实验室负责实施。

  CCF中国软件大会由全国软件与应用学术会议（NASAC）与全国形式化方法与应用会议（FMAC）两个会议有机组成，今年是大会举办的二十周年。NASAC创立于2002年，由CCF软件工程专业委员会与CCF系统软件专业委员会共同承办，是中国软件科学与工程相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。全国形式化方法与应用会议（FMAC）创立于2016年，由CCF形式化方法专业委员会承办。FMAC聚焦形式化方法理论前沿和最新研究进展，深化拓展形式化方法与相关领域的交叉，促进形式化方法、工具和应用在国内的发展。

  大会3天的活动安排为，24日—25日通过线上的方式进行各分论坛活动，12月26日在北京友谊宾馆设立线下会场，包括开/闭幕式、院士特邀报告、NASAC青年创新奖报告、第四届中国软件开源创新大赛颁奖等活动。9位中国科学院院士、中国工程院院士（林惠民、梅宏、吕建、廖湘科、杨孟飞、王怀民、冯登国、孙凝晖、钱德沛）与200余位代表线下参加大会，其余代表与观众线上参会。组委会提供多种线上参会方式，包括腾讯会议、B站直播、线上直播等。大会吸引了国内外软件相关领域师生与从业人员的广泛参与，24日、25日各在线直播平台全天在线分别超过9万人次与8万人次，26日超过7万人次，三天共计超过24万人次。单个论坛在线观看平均超过4500人次，单个论坛最大访问量超过1.5万人。

  大会举办12个专刊论坛、10个学术论坛、8个工业论坛与6个教育论坛，共计36个论坛活动，以及第四届中国软件开源创新大赛、全国大学生软件测试大赛、软件工程教学案例交流与竞赛等3个竞赛。论坛数量、投稿数量、报告嘉宾数量与学术竞赛参与人数相比2020年均有明显增长。

  大会闭幕式由大会共同主席、CCF软件工程专委会主任李宣东教授主持。各类型优秀论坛奖由北京大学谢涛教授、复旦大学彭鑫教授、中科院软件所詹乃军研究员宣读并颁奖，最佳学术论坛是软件数据智能化分析论坛、系统软件安全论坛、形式化方法与应用论坛以及云原生软件技术与工程实践论坛，最佳工业论坛是高可信嵌入式软件工程技术论坛与“工业软件”定义“智能制造”论坛，最佳教育论坛是系统软件教研论坛与软件实践教学论坛，最佳人气论坛是顶会顶刊论坛与优秀博士生论坛。软件工程教学案例交流与竞赛也举行了颁奖，由大赛评审委员会主席、武汉大学应时教授与华为公司王千祥主任介绍竞赛获奖情况，共有9支来自全国各高校的作品获得一等、二等与三等奖。

  下一届CCF中国软件大会承办方代表，复旦大学计算机科学技术学院副院长彭鑫教授代表承办方进行承办方案宣讲，并与本届大会承办方西安电子科技大学举行了承办交接仪式。最后，李宣东教授对本届大会进行了总结并指出，整个组委会通力合作，共同为参会代表呈现了一次线上线下相结合的精彩大会，为软件相关领域师生同行留下了美好的回忆，感谢西安电子科技大学计算机科学与技术学院承办团队，以及支持单位、协办单位与赞助单位等的辛苦付出，感谢广大线上线下的参会代表。