2025年11月28-30日，为期三天的2025 CCF中国软件大会（2025 CCF ChinaSoft）在武汉国际会议中心顺利召开。本届大会以“软件定义智能互联新世界”为主题，汇聚国内外软件领域院士专家、行业领袖、高校学者及青年学子超3000人，通过75场特色活动搭建起“学术引领、产业赋能、人才集聚”的高端交流平台，为推动我国软件产业高质量发展注入强劲动力。

本届大会由中国计算机学会（CCF）主办，CCF软件工程专业委员会、系统软件专业委员会、形式化方法专业委员会、武汉大学共同承办，武汉大学计算机学院具体落实。会议由华为、蚂蚁集团、百度、轩宇信息、望安科技、丰蕾科技、航天中认、武汉卡比特信息有限公司、浪潮、北方算网、九章云极等11家企业赞助支持。

盛会启幕：软件驱动创新，智能引领未来

2025 CCF中国软件大会于2025年11月29日在武汉国际会议中心隆重开幕，大会开幕式由CCF会士、监事长、武汉大学金芝教授主持。开幕式上，林惠民、梅宏、龚健雅、吕建、廖湘科、王怀民、冯登国、孙凝晖、钱德沛、罗智泉、胡事民等信息技术领域院士莅临指导。

CCF会士、理事长孙凝晖院士代表主办方致辞，向与会嘉宾表示热烈欢迎，并对承办方武汉大学及各协办单位的辛勤付出致以衷心感谢。他强调，软件作为数字经济的核心引擎与科技创新的关键载体，正以前所未有的深度和广度重塑产业生态，推动社会进步。本届大会旨在汇聚产学研力量，共同探索智能互联时代软件技术的前沿方向与落地实践。

武汉大学副校长朱德友作为承办方代表致辞。他指出，武汉大学作为扎根荆楚的百年学府，始终与软件学科发展同频共振，在操作系统、工业软件、形式化方法等领域取得了丰硕成果。本次大会落地武汉，既是对武汉“中国软件名城”产业实力的认可，也是对武汉大学软件学科积淀的信任。他期待通过大会推动关键技术攻关与产学研深度融合，助力国家软件产业创新高地建设。

武汉大学计算机学院玄跻峰教授代表承办方概述会议情况，详细介绍了本届大会的筹备情况、特色亮点及丰富多彩的议程设置。

在全体与会嘉宾的共同见证下，CCF开源发展技术委员会“开源激励计划”正式宣告启动。CCF开源发展技术委员会副主任、北京大学周明辉教授介绍了开源技术发展的重大意义，展示了激励计划的活动内容和活动关键节点。

院士领航：把脉技术前沿，共话软件未来

本届大会的院士特邀报告与高峰论坛成为最大亮点，多位顶尖学者分享了软件领域的前沿思考与发展路径。在特邀报告环节，CCF会士、开源发展技术委员会主任、国防科技大学王怀民院士作了以“复杂智能软件系统构造与演化”为题的报告，阐述了主机时代、网络时代和智能时代的软件问题。王院士介绍了智能软件的基础、发展和复杂性，并详细阐述了复杂智能软件系统开发过程的六个重要问题，包括数据工程、模型训练、推理服务、应用开发、可信保障和人机协作。

CCF会士、中国科学院软件研究所冯登国院士作了以“密态计算：一种蒙着眼睛进行计算的范式”为题的报告，强调密态计算是解决数据使用安全的关键核心技术，并介绍了密态计算的一般模型，以及密态计算关键技术及其问题与主要挑战。

香港中文大学（深圳）罗智泉院士作题为“Algorithm Design Automation”的报告，从大规模MIMO系统、无线通信、大模型训练等实际场景出发，阐述了在有限时间预算和资源约束下优化算法设计的挑战与动机。报告探讨了大语言模型在复杂数学问题求解与代码生成方面的能力，并展示了基于AlphaEvolve的自动化算法发现框架在CUDA内核优化、SVD算法探索等实验中的应用。

北京大学李若教授作了题为“北太天元，逆数而行”的报告，阐述了在严峻国际科技封锁背景下发展自主数学基础软件的战略意义与紧迫性。报告回顾了北大天元从“0到1”的艰难成长历程，介绍了其自主可控的科学计算内核、全面兼容MATLAB语法的技术突破。报告系统阐述了北大天元通过“教学改革—能力提升—算法迁移—成果转化”的创新闭环机制和未来路径。

院士高峰论坛上，林惠民、梅宏、龚健雅、吕建、廖湘科、孙凝晖、钱德沛等信息技术领域院士齐聚一堂，围绕智能互联时代软件技术面临的机遇与挑战、软件人才培养、产学研协同创新等关键议题展开了深度对话与思想碰撞，为与会者指明了未来软件技术与产业发展的战略方向。

内容多元：75场活动，绘制软件宏大蓝图

依据往届大会成功举办的经验，2025 CCF中国软件大会组织了75个不同类型的活动，涵盖学术论坛、工业论坛、教育论坛、学科竞赛等。论坛围绕软件工程、系统软件、形式化方法、开源生态、工业软件等领域的热点问题展开，包括智能化软件需求工程与自主演化、云原生系统软件设计与优化、形式化验证在关键系统中的应用实践、开源供应链安全与治理、工业软件根技术攻关与生态构建等，充分体现了学术引领与产业需求的紧密结合，展现了我国软件学科在前沿探索与产业落地双向驱动下的创新活力与发展格局。

产学融合：助力人才培养与生态共建

大会特别设置了青年学者论坛、博士学位论文激励计划、软件自动修复竞赛及企业技术展示等活动，为青年学者与学生提供展示与交流的平台。华为、蚂蚁集团、百度、轩宇信息等企业深度参与，通过技术展示与Codelabs实践环节，分享工业级软件研发经验，推动产学研用协同创新。

闭幕式交接传承：相约再聚软件创新征程

11月30日下午的会议包含NASAC青年软件创新论坛和闭幕式。闭幕式上，大会为获得专委青年科技奖、专委博士学位论文激励计划、优秀论坛、以及软件研究成果原型系统竞赛、软件自动修复竞赛、基于异构算力的系统编程竞赛、定理证明竞赛、仓颉编程挑战赛等5个竞赛奖项的获得者颁发了证书。

南京大学马晓星教授主持了“软件工程重要研究问题”征集与发布行动。

北京航空航天大学胡春明教授主持了2026全国大学生计算机系统能力大赛编译系统挑战赛（华为毕昇杯）启动仪式。

大会本地组织委员会主席玄跻峰教授作了会议回顾，指出本届大会有来自340余家单位的超3000名参会者、参加了75场活动，成为我国软件领域“产学研用”融合的标志性年度盛会。此后，举行承办单位交接仪式，武汉大学与下一届大会承办方——天津大学和南开大学完成会议承办交接。天津大学陈俊洁教授代表下一届大会承办方作下一届大会宣讲。

从长江之畔到智能互联未来，2025 CCF中国软件大会已落幕。软件产业创新步伐永不停止。这场盛会，必将为“软件定义智能互联新世界”注入源源不断的动力。本次大会通过搭建高水平交流平台，充分展示了我国软件领域的最新成果与发展趋势，为软件技术与产业生态的创新发展注入了新动能。未来，CCF中国软件大会将继续凝聚智慧、促进合作，为我国软件事业的高质量发展贡献力量。

【编辑：肖翩】