西电计科院承办的2021CCF中国软件大会圆满落幕

近日，由学校计算机科学与技术学院具体承办的我国软件领域规模和影响最大的CCF中国软件大会（CCFChinaSoft）圆满落幕。大会由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办，西安电子科技大学计算机科学与技术学院（国家示范性软件学院）具体落实，软件工程学科团队与西安市智能软件工程重点实验室负责实施，由西安交通大学、西北工业大学、西北农林科技大学、西安理工大学、中国航空工业集团公司西安航空计算技术研究所、陕西省计算机学会协办，得到西安高新区管委会的大力支持，西安高新区软件新城管办具体执行。

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

西安电子科技大学校领导对于大会筹办工作高度重视，计算机科学与技术学院在大会筹办的不同阶段均全力投入，由软件工程学科团队负责实施。软件工程学科负责人李青山教授领衔组成承办团队，于2019年11月前往杭州CCFNASAC会议进行申办陈述，2020年11月前往重庆2020CCF中国软件大会接旗。2021年以来，承办团队与CCF三个专委会以及支持单位西安高新区软件新城、各协办单位持续联动，共同启动大会筹备，并邀请专委会领导前来西安实地考察会场，最终确定为西安高新国际会议中心。同时，联合专委会、高新区软件新城共同召开大会专题推介会，推动大会宣传，并在西安电子科技大学青岛计算技术研究院召开大会专题工作会，听取各论坛筹备情况汇报，落实大会各项推进工作。计科院承办团队与专委会一直通力合作、高效协同，始终密切关注办会情况并及时做出调整。12月上旬，组委会将会议模式调整为“西安-北京双城联动，线上线下协同”的方案。12月中旬，组委会及时调整会议方案为分论坛活动24日—25日线上举行，26日在北京友谊宾馆线下召开大会开/闭幕式、院士特邀报告、青年创新奖报告、颁奖等重要活动，并提供包括腾讯会议、B站直播、线上直播平台等多种线上参会方式。西安、北京两地多方持续高效联动，共克时艰，确保大会顺利举行。

大会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年均有明显增长。

26日大会开幕式由大会共同主席、CCF系统软件专委会主任金芝教授主持。CCF理事长、大会共同荣誉主席、中国科学院院士梅宏致辞。梅宏院士强调三个方面，首先代表中国计算机学会对大会的召开表示热烈祝贺，在国内局部仍存在影响的情况下能够召开本次大会实属不易。梅院士感谢全体参会的师生同行，并特别感谢承办单位西安电子科技大学的办会团队所付出的努力。梅院士期待未来更多的领域同行可以继续线下交流。本届大会轮值专委会CCF形式化方法专委会荣誉主任、大会共同荣誉主席、中国科学院院士林惠民致辞。林惠民院士再次欢迎各位代表的参会，并对西电承办团队为大会筹办付出的努力表示特别感谢。林惠民院士通过回顾国内软件技术发展的历程，阐释了当前软件相关领域面临的挑战，并强调了自主创新与基础研究的重要性。大会共同荣誉主席、南京大学校长、中国科学院院士吕建致辞。吕建院士由CCF中国软件大会引出对于“大会”与“软件”两个核心词的阐释，从软件的本质延伸到当前软件与计算的内涵与外延，强调了软件的新形态与软件的重要价值，并再次预祝本次大会取得成功。

大会共同主席、西安电子科技大学副校长王泉教授代表大会承办方西安电子科技大学致辞。王泉代表学校感谢各位专家学者与师生参会，简要回顾了大会的筹办历程，并向与会代表介绍了西安电子科技大学的情况，特别是学校在电子与信息学科领域的特色，包括计算机科学与技术学科入选国家“双一流”建设学科（西北唯一），计算机科学学科进入ESI全球前1‰，今年获批首批33所特色化示范性软件学院等。王泉也感谢各位专家学者对西安电子科技大学及学科建设提供的帮助，希望与参会师生同行一道推动国内软件相关领域的发展。

大会程序委员会共同主席、大会组织委员会主席、西安电子科技大学软件工程学科负责人、计算机科学与技术学院党委书记李青山教授代表大会组委会，从大会基本情况与大会筹办工作两个方面向现场与线上的全体代表介绍大会的情况。李青山回顾了大会20年的传承历程，今年会议在注册人数、参会单位数量、论坛数量、竞赛规模等均达到预期。本届大会建立了完善的组织体系、协办体系与赞助体系，邀请到了9位中国科学院院士、中国工程院院士，开展了36个分论坛活动与3个学科竞赛。论坛数量、投稿数量、嘉宾数量与学术竞赛参与人数均有明显增长。李青山进一步通过时间线总结了大会筹办工作，2021年2月至5月，组委会协同专委会进行了多轮实地考察会场，5月至12月，组委会构建起了多维支持、协办与赞助体系，并现场召开了大会推介会与大会筹备推进专题工作会，同时多层面多渠道发布会议通知，对大会整体与每个论坛都进行宣传。李青山特别回顾到在大会筹办的五个时间节点，组委会针对当时情况的变化，对会议模式进行迅速调整，并最终确定为线上线下相结合的方式举办。

院士特邀报告中，梅宏院士作“泛在操作系统：机遇与挑战”报告，嫦娥五号探测器系统总指挥、总设计师、中国科学院院士杨孟飞带来了“航天嵌入式软件可信研究进展与展望”报告，中国科学院软件研究所研究员、中国科学院院士冯登国作“信息安全发展历程与趋势”报告，中科院计算所所长、中国工程院院士孙凝晖作“处理器能用面向对象方法设计吗？”报告，北京航空航天大学教授、中国科学院院士钱德沛带来了“后E级计算：挑战和对策”报告。

26日下午，举行了NASAC青年软件创新奖论坛。金芝教授宣布了本年度青年软件创新奖获奖人，分别为国防科技大学陈振邦、武汉大学谢晓园与南京大学蒋炎岩，梅宏院士、吕建院士与华为技术有限公司胡欣蔚先生一起为获奖人颁奖。胡欣蔚先生作特邀报告，上年度“CCF NASAC青年软件创新奖”获奖者作青年学者报告，分别为西安交通大学刘烃教授、北京大学熊英飞副教授与华东师范大学陈铭松教授。

第四届中国软件开源创新大赛颁奖仪式上，王怀民院士致辞并指出本届大赛与之前大赛相比的创新与不同点，感谢大赛组委会所有工作人员的辛勤付出，同时祝贺各个获奖团队。大赛组织委员会主席、北京大学周明辉教授代表大赛组委会介绍大赛情况。金芝教授代表大赛组委会宣读获奖名单。大赛设立了特等奖、一等奖、二等奖等奖项，共有6支队伍获得大赛特等奖，30支队伍获得一等奖。其中，计算机科学与技术学院苗启广教授指导团队获得大赛开源任务挑战赛唯一特等奖。林惠民院士、梅宏院士、王怀民院士、孙凝晖院士、飞腾公司崔景良先生、ARM中国王文文先生为获奖团队颁奖。王怀民院士宣布大赛成果与新一届大赛启动。大赛随后举行交接仪式，下一届大赛承办方代表清华大学胡事民教授接旗并发言。

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

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

据悉，大会24日与25日主要进行各项论坛活动，包括顶会顶刊论坛、优秀博士生论坛、百答论坛、微服务与智能运维论坛等论坛，涵盖专刊类论坛、学术类论坛、工业类论坛与教育类论坛等四大类论坛活动。24日并行进行24场论坛活动，25日并行进行23场论坛活动。