11月17日下午，2024 CCF中国软件大会（2024 CCF ChinaSoft）在千年古都西安圆满落幕。来自国内外软件相关领域内学者、师生与从业者2400余人齐聚一堂，聚焦智能软件创新赋能新质生产力发展，探讨软件相关领域发展的新思路，展示领域内最新学术研究动态以及技术成果，搭建起软件领域学术界、教育界以及工业界沟通新思想、交流新进展的舞台。

本次大会由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办，西安电子科技大学计算机科学与技术学院（国家示范性软件学院）具体落实，西安市智能软件工程重点实验室负责实施，得到西安高新区管委会的大力支持。同时，大会由西安交通大学、西北工业大学、西北农林科技大学、西北大学、陕西师范大学、长安大学、西安理工大学、西安建筑科技大学、西安邮电大学、中国航空工业集团公司西安航空计算技术研究所、陕西省计算机学会协办，由华为技术有限公司、汇丰科技中国、蚂蚁集团、百度集团、知存科技有限公司、北京轩宇信息技术有限公司、荣耀集团、望安科技有限公司、北京开元维度科技有限公司等作为赞助商。

11月16日，大会开幕式由西安电子科技大学副校长王泉教授主持。西安市市长叶牛平、西安电子科技大学党委书记任小龙、西安高新区管委会主任陈辉参加开幕式并致辞，CCF会士、前理事长梅宏院士特别介绍了国家自然科学基金重大研究计划“面向人机物融合的智能化软件基础研究”，大会组织委员会主席、西安电子科技大学李青山教授介绍了本次大会的组织情况。

在开幕式上，西安市市长叶牛平对2024CCF中国软件大会在西安召开表示热烈祝贺。他指出，高精尖软件是硬科技、硬实力，是培育发展新质生产力和数字经济的基础支撑。西安坚持以数字政府建设牵引数字经济发展，更加注重创新驱动、应用牵引、园区承载，着力打造软件产业发展的最优生态，分类支持高水平研究型大学、高能级科研机构、科技型企业融通创新，加快科技成果转化和产业化；着力拓展软件产品应用的最佳场景，进一步健全西安特大城市治理和服务场景需求清单发布机制，鼓励新技术、新产品、新应用率先落地；着力培植软件企业成长的最热沃土，更加注重服务企业创新行为和创新过程，推动形成大企业顶天立地、中小企业铺天盖地的生动局面。

西安电子科技大学党委书记任小龙表示，当前软件已成为新一代信息技术的灵魂，不但是数字经济发展的基础，也是制造强国、网络强国、数字中国建设的关键支撑。作为本次会议的承办方，西安电子科技大学电子信息特色鲜明，多年来在软件相关领域深耕细作、不断创新，取得了一系列重要成果，希望以本次大会为契机，进一步加强与业界专家学者同行的合作交流，共同为软件领域贡献更多智慧和力量，更好服务国家和区域经济社会发展。

西安高新区管委会主任陈辉着重介绍了本次会议的举办地，即西安高新区的发展历程以及近年来取得的成就，指出目前已培养了一批具有一定规模的特色软件企业，已成为西安软件创新的代表品牌。本次2024 CCF中国软件大会落地西安高新区，对于助推西安高新区软件产业的发展必将发挥重要作用。

中国科学院院士梅宏从项目立项、时代背景等方面详细介绍了国家自然科学基金重大研究计划“面向人机物融合的智能化软件基础研究”，并分别从软件技术自身发展趋势与国家对关键软件的需求两个角度阐释了项目的必要性。依托此项目，梅宏院士号召全国软件同行积极关注或参与此项目的研发工作，为攻克智能化软件领域难题提供更多的解决方案和思路。

李青山从大会基本情况与筹办情况两个方面介绍了2024 CCF中国软件大会的组织与筹办工作，并表示本次会议的举办离不开多方面的支持和帮助，对各位参会院士嘉宾、高校师生、行业专家、专委会以及支持/协办/赞助单位表示诚挚地感谢，最后预祝本次大会取得圆满成功。

在大会特邀报告环节，上午由CCF形式化方法专委会主任、北京大学詹乃军教授主持，CCF会士、中国科学院院士杨孟飞作题为《航天软件智能开发方法的若干进展》的报告；CCF会士、副理事长、中国科学院院士胡事民作题为《计图深度学习框架与代码大模型》的报告；中国工程院院士尼玛扎西作题为《国产操作系统多语言支撑技术》的报告。下午大会特邀报告由CCF软件工程专委会副主任、北京大学李戈教授主持，蚂蚁集团副总裁兼首席技术安全官韦韬博士作题为《拥抱Rust：构建高安全性、高可靠性的下一代系统软件》的报告；汇丰财富管理与个人银行全球首席架构师夏勇博士作了题为《银行金融业的智能化转型：变革软件开发全周期》的报告。

院士高峰论坛由CCF软件工程专委会主任、南京大学马晓星教授主持。参加论坛的两院院士包括中国科学院院士林惠民、中国科学院院士梅宏、中国科学院院士吕建、中国科学院院士杨孟飞、中国科学院院士管晓宏、中国科学院院士王怀民、中国科学院院士胡事民。

本届大会共设平行论坛44个，包含常设论坛、专刊论坛、学术论坛、教育论坛、工业论坛、国际活动及专题活动七类，主题涵盖系统软件、工业软件、嵌入式软件、开源软件、软件验证、形式化方法、软件基础教育等多个方面，日程满满，论坛邀请了众多软件相关领域的专家学者分享最新学术成果，会场氛围热烈，参会代表纷纷表示收获颇多。

其中NASAC青年软件创新奖论坛由北京大学金芝教授与中国台湾东海大学朱正忠教授主持，华为技术有限公司操作系统内核副首席技术专家郭寒军作题为《异构融合OS–异构智算时代的操作系统演进和创新思考》的报告；复旦大学陈碧欢副教授作题为《开源软件供应链风险分析与治理》的报告；中国科学院软件研究所窦文生研究员作了题为《数据库系统质量保障》的报告。

此外，在学科竞赛方面，本届大会举办了第一届软件缺陷自动修复竞赛、仓颉编程线下挑战赛以及软件研究成果原型系统竞赛，其中软件缺陷自动修复竞赛、仓颉编程竞赛均为首次举办，参与软件研究成果原型系统竞赛的队伍70余支，人数超过380人，单位超过55所，均达到历年最多，并在大会上分别举行颁奖典礼，这些竞赛对于扩大大会的影响力和吸引力也起到了积极作用。

大会闭幕式由CCF系统专委会主任、北京大学谢涛教授主持，大会组织委员会主席、西安电子科技大学李青山教授回顾了本次大会会期全过程，包括参会规模、特邀报告、高峰论坛、交流讨论、晚宴致谢、会期保障等方面。

闭幕式上同时举行了承办单位交接仪式，由北京大学谢涛教授和西安电子科技大学李青山教授共同交接给2025年CCF中国软件大会的承办方代表武汉大学玄跻峰教授。

规模庞大的参会人数、覆盖广泛的参会单位、丰富的论坛活动、反响热烈的社会关注，本届软件大会为领域内学者、师生与从业者提供了一个碰撞思想、建立联接、扩大影响的绝佳平台，同时也扩大了大会的影响力和辐射范围，共同期待2025年CCF中国软件大会！

（文中图片为大会现场，作者：西安电子科技大学）