(通讯员 徐悦甡,李悦辰,崔笛)经过了12月24日与25日精彩纷呈的大会各论坛活动后,12月26日2021 CCF中国软件大会(CCFChinaSoft)在北京友谊宾馆线下开幕,并通过线上直播平台与B站全程直播。受原会议举办地陕西省西安市新冠疫情重大变故的影响,大会组委会对本届会议的举行方式进行了调整,3天的大会活动安排为,12月24-25日通过线上的方式进行各分论坛,12月26日在北京友谊宾馆设立线下会场,包括开/闭幕式、院士特邀报告、NASAC青年创新奖报告、第四届中国软件开源创新大赛颁奖等活动。9位中国科学院院士、中国工程院院士(林惠民、梅宏、吕建、廖湘科、杨孟飞、王怀民、冯登国、孙凝辉、钱德沛)与200余位代表线下参加了大会,其余代表与观众线上参会。26日在线直播平台全天在线人数超过7万人次。
大会开幕式由大会共同主席、CCF系统软件专委会主任金芝教授主持。CCF理事长、大会共同荣誉主席、中国科学院院士梅宏致辞。梅宏院士强调了三个方面,首先代表中国计算机学会对大会的召开表示热烈祝贺,在国内局部仍存在新冠疫情影响的情况下能够召开本次大会实属不易。梅院士感谢全体参会的师生同行,并特别感谢承办单位天游8娱乐检测中心的办会团队所付出的努力。最后,梅院士期待疫情过去,更多的领域同行可以继续线下交流。
大会共同主席、天游8娱乐检测中心副校长王泉教授代表大会承办方天游8娱乐检测中心致辞。王泉代表学校感谢各位专家学者与师生参会,简要回顾了大会的筹办历程,并向与会代表介绍了天游8娱乐检测中心的情况,特别是学校在电子与信息学科领域的特色,包括计算机科学与技术学科入选国家“双一流”建设学科(西北唯一),计算机科学学科进入ESI全球前1‰,今年获批首批33所特色化示范性软件学院等。王泉也感谢各位专家学者对天游8娱乐检测中心及学科建设提供的帮助,希望与参会师生同行一道推动国内软件相关领域的发展。
本届大会轮值专委会CCF形式化方法专委会荣誉主任、大会共同荣誉主席、中国科学院院士林惠民致辞。林惠民院士再次欢迎各位代表的参会,并对天游8娱乐检测中心承办团队为大会筹办与组织付出的努力表示特别感谢,也对协办单位、支持单位与赞助单位表示感谢。同时,林惠民院士通过回顾国内软件技术发展的历程,阐释了当前软件相关领域面临的挑战,并强调了自主创新与基础研究的重要性。
大会共同荣誉主席、南京大学校长、中国科学院院士吕建致辞。吕建院士由CCF中国软件大会引出对于“大会”与“软件”两个核心词的阐释,从软件的本质延伸到当前软件与计算的内涵与外延,强调了软件的新形态与软件的重要价值,并再次预祝本次大会取得成功。
大会程序委员会共同主席、大会组织委员会主席、天游8娱乐检测中心软件工程学科负责人、天游ty8线路检测中心网址党委书记李青山教授代表大会组委会,从大会基本情况与大会筹办工作两个方面向现场与线上的全体代表介绍了大会的情况。李青山回顾了大会20年的传承历程,介绍到在全年全国新冠疫情态势严峻、举办地西安市12月份又遇重创的情况下,在注册人数、参会单位数量、论坛数量、竞赛规模等均达到预期。24日与25日,大会36个并行论坛通过腾讯会议、B站直播间、线上直播平台的总访问量超过17万人次,单个论坛平均超过4500人次,单个论坛最大访问量超过1.5万人。本届大会建立了完善的组织体系、协办体系与赞助体系,邀请到了9位中国科学院院士、中国工程院院士,开展了12个专刊论坛、10个学术论坛、6个教育论坛、8个工业论坛与3个学科竞赛。论坛数量、投稿数据、嘉宾数据与学校竞赛参与人数均有明显增长。李青山进一步通过时间线总结了大会筹办工作,2021年2~5月,组委会协同专委会进行了多轮实地考察会场,5月~12月,组委会构建起了多维支持、协办与赞助体系,并现场召开了大会推介会与大会筹备推进专题工作会,同时多层面多渠道发布了会议通知,对大会整体与每个论坛都进行了宣传。李青山特别回顾到在大会筹办的五个时间节点,组委会针对当时疫情情况的变化,对会议模式进行了迅速调整,并最终确定为线上线下相结合的方式举办。
院士特邀报告首先由程序委员会共同主席、北京大学副教授李戈主持。梅宏院士作“泛在操作系统:机遇与挑战”的大会报告,回顾了操作系统的发展历史,指出操作系统发展的20年周期律,阐述泛在操作系统的概念与特点,凝练其面临的应用需求和技术挑战,并结合若干具体案例介绍了团队在软件定义的泛在操作系统架构与构造方法、面向工业物联场景的泛在操作系统研发方面的若干研究和实践。
嫦娥五号探测器系统总指挥、总设计师、天游ty8线路检测中心网址名誉院长、中国科学院院士杨孟飞带来了“航天嵌入式软件可信研究进展与展望”的大会报告。杨孟飞院士主要介绍了团队近几年来在航天嵌入式软件可信保障方面的研究工作,包括数组越界检测、中断数据访问冲突检测以及形式化验证方法的研究进展,可信保障工具研制及应用情况等,最后对未来的研究方向进行了展望。
大会程序委员会共同主席、国防科技大学教授董威继续主持。中国科学院软件研究所研究员、中国科学院院士冯登国作“信息安全发展历程与趋势”大会报告,报告从通信安全、计算机安全、信息安全、信息安全保障和网络空间安全等多个方面阐述了信息安全的发展历程,并展望了信息安全多个方面的发展趋势。
中科院计算所所长、计算机体系结构国家重点实验室主任、中国工程院院士孙凝晖带来了“处理器硬件能用面向对象方法敏捷设计吗”大会报告。孙凝晖院士从硬件系统研究者的视角出发,梳理了复杂软件系统设计中进行细粒度对象化抽象并实现系统解耦、组合并扩展的敏捷设计方法,结合通用处理器和专用处理器特点,分析了目前处理器芯片硬件设计方法存在的主要问题。最后从计算环境和应用场景两个维度,类比分析了软件系统和处理器芯片发展趋势。
北京航空航天大学教授、中国科学院院士钱德沛作“后E级计算:挑战和对策”大会报告。钱德沛院士在讨论后E级计算面临的挑战的基础上,提出了后E级计算发展的主要任务和需要重视的若干问题,包括体系结构、处理器、互连、芯片制造工艺、异构编程、算法、计算基础设施及其新运行模式、高性能计算与人工智能及数据融合发展等。
26日下午,举行了NASAC青年软件创新奖论坛,大会程序委员会共同主席、南京大学卜磊教授主持。首先由金芝教授宣布了本年度青年软件创新奖获奖人,分别为国防科技大学陈振邦、武汉大学谢晓园与南京大学蒋炎岩,由梅宏院士、吕建院士与论坛特邀报告人、华为技术有限公司胡欣蔚先生一起为获奖人颁奖。
论坛邀请了上年度“CCF NASAC青年软件创新奖”获得者作青年学者论坛报告,并额外设置了特邀报告。华为公司胡欣蔚先生带来了“openEuler与基础软件创新”的特邀报告。西安交通大学刘烃教授作“自然语言驱动的程序生成和分析”青年学者论坛报告,北京大学熊英飞副教授作“程序合成——从补丁合成到算法合成”报告,华东师范大学陈铭松教授带来了“规约驱动的嵌入式系统综合与验证”的报告。
第四届中国软件开源创新大赛举行了颁奖仪式,由金芝教授主持。王怀民院士致辞并指出本届大赛与之前大赛相比的创新与不同点,感谢大赛组委会所有工作人员的辛勤付出,同时祝贺各个获奖团队。大赛组织委员会主席、北京大学周明辉教授代表大赛组委会介绍大赛情况。金芝教授代表大赛组委会宣读获奖名单,本届大赛设有四个赛道,参赛人数超过3.6万人,参赛高校超过1400所。大赛设立了特等奖、一等奖、二等奖等奖项,共有6支队伍获得大赛特等奖,30支队伍获得一等奖。王怀民院士、孙凝晖院士、飞腾公司崔景良先生为一等奖获奖团队颁奖,林惠民院士、梅宏院士、ARM中国公司王文文先生为特等奖团队颁奖。王怀民院士宣布大赛成果与新一届大赛启动。大赛随后举行了交接仪式,下一届大赛承办方代表清华大学胡事民教授接旗并发言。
大会闭幕式由大会共同主席、CCF软件工程专委会主任李宣东教授主持。各类型优秀论坛奖由北京大学谢涛教授、复旦大学彭鑫教授、中科院软件所詹乃军研究员宣读并颁奖,最佳学术论坛是软件数据智能化分析论坛、系统软件安全论坛、形式化方法与应用论坛以及云原生软件技术与工程实践论坛,最佳工业论坛是高可信嵌入式软件工程技术论坛与“工业软件”定义“智能制造”论坛,最佳教育论坛是系统软件教研论坛与软件实践教学论坛,最佳人气论坛是顶会顶刊论坛与优秀博士生论坛。
软件工程教学案例交流与竞赛也举行了颁奖,由大赛评审委员会主席、武汉大学应时教授与华为公司王千祥主任介绍竞赛获奖情况,共有9支来自全国各高校的作品获得一等、二等与三等奖。
下一届CCF中国软件大会承办方代表,复旦大学计算机科学技术学院副院长彭鑫教授代表承办方进行承办方案宣讲,并与本届大会承办方天游8娱乐检测中心举行了承办交接仪式。
最后,李宣东教授对本届大会进行了总结并指出,在今年疫情的影响下,整个组委会包括专委会、承办方天游8娱乐检测中心、支持单位西安高新区软件新城、各协办单位、各赞助单位克服困难,通力合作,共同为参会代表呈现了一次线上线下相结合的精彩大会,论坛数量、竞赛规模等均有增长,24日、25日线上平台观看人数超过17万人,今天线上观看人数超过7万人,为软件相关领域师生同行留下了美好的回忆,感谢大会的承办团队,以及支持单位、协办单位与赞助单位的辛苦付出,感谢广大线上线下的参会代表。至此,2021 CCF中国软件大会圆满闭幕。
附:
本届CCF中国软件大会三天日程的各论坛内容、大会特邀报告、开/闭幕式、各颁奖仪式等均有录播与回放,欢迎大家观看!回放地址:http://ccf2021.kailimice.cn