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

西安电子科技大学副校长王泉教授主持

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

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

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

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

李青山从大会基本情况与筹办情况两个方面介绍了2024 CCF中国软件大会的组织与筹办工作，指出本次大会在注册人数、参会单位、地域分布、论坛数量、竞赛规模等方面均达到预期。大会共有并行论坛44个，分为常设论坛、专刊论坛、学术论坛、教育论坛、工业论坛、国际活动及专题活动七类，内容涵盖工业软件、嵌入式软件、开源软件、软件验证、基础模型、AIGC、云原生、大模型等热点议题。李青山表示本次会议的举办离不开多方面的支持和帮助，对各位参会院士嘉宾、高校师生、行业专家、专委会以及支持/协办/赞助单位表示诚挚地感谢，最后预祝本次大会取得圆满成功。

西安电子科技大学李青山教授

在大会特邀报告环节，上午由CCF形式化方法专委会主任、北京大学詹乃军教授主持。

CCF会士、中国科学院院士杨孟飞作了题为《航天软件智能开发方法的若干进展》的报告，介绍了团队在航天软件智能开发方面的成果，主要包括基于软件IP的航天控制软件智能合成、航天软件领域大模型、嵌入式软件智能化测试、航天器智能软件测试以及提升航天器在轨智能自主运行能力等方面的工作，以上工作共同持续推动智能化技术在航天软件开发中的落地。

CCF会士、副理事长、中国科学院院士胡事民作了题为《计图深度学习框架与代码大模型》的报告，详细介绍了计图框架上国产芯片适配与优化的新进展，以及计图团队在代码大模型方面的探索，分析了代码大模型的挑战，分享了团队在基于计图框架的大模型训练加速、大模型推理优化等方面的实践。

中国工程院院士尼玛扎西作了题为《国产操作系统多语言支撑技术》的报告，操作系统是信息化建设的重要支柱，也是数字经济发展的重要支撑，报告主要介绍了国产操作系统多语言支撑平台及银河麒麟操作系统V10藏文版、蒙古文版研发和应用情况。

下午大会特邀报告由CCF软件工程专委会副主任、北京大学李戈教授主持。

蚂蚁集团副总裁兼首席技术安全官韦韬博士作了题为《拥抱Rust：构建高安全性、高可靠性的下一代系统软件》的报告，报告中分享了星绽（Asterinas）开源社区在利用Rust语言构建下一代高安全、高可靠系统软件方面的实践经验，重点介绍了星绽OS和星绽HyperEnclave项目，鼓励更多志同道合的同行加入星绽社区，共同为构建更安全、更可靠的数字世界贡献力量。

汇丰财富管理与个人银行全球首席架构师夏勇博士作了题为《银行金融业的智能化转型：变革软件开发全周期》的报告，报告概述了银行积极应对技术创新和业务增长的双重挑战，重点介绍了为提高开发效率和系统稳定性，在软件开发生命周期中多个重要活动上的实践，主要包含代码质量管控、变更管理以及生产事件中的故障定位、根因分析、风险预测等方面。

汇丰财富管理与个人银行全球首席架构师

夏勇博士作报告

西安电子科技大学李青山教授主持

西安电子科技大学副校长王泉教授致辞

支持单位代表和赞助单位代表致辞