12月2日，中国软件领域规模最大、影响最广的学术会议——CCF中国软件大会(ChinaSoft 2023)在上海国际会议中心开幕。本届中国软件大会包括学术、工业、教育以及竞赛四大类50余场活动，吸引来自十个国家和地区的高校、科研机构、企事业单位的2300余位专家学者注册参会。

本届大会由中国计算机学会（CCF）主办，CCF系统软件专委会、形式化方法专委会、软件工程专委会、复旦大学承办，大会指导单位是上海市经济和信息化委员会，协办单位包括上海交通大学、华东师范大学、东华大学、上海计算机软件技术开发中心、上海市软件行业协会、上海市计算机协会、江苏省计算机学会。

CCF理事长、大会执行委员会荣誉主席、中国科学院院士梅宏，上海市经济和信息化委员会主任张英，中国科学院院士、复旦大学校长金力致辞。何积丰、于全、徐宗本、柴洪峰、王义等5位国内外院士和业内专家蒋铭到会做特邀报告。院士林惠民、徐宗本、梅宏、吕建、柴洪峰、王怀民出席大会院士论坛。院士张宏科参加CCF YOCSEF（青年计算机科技论坛）上海观点论坛。

智能化软件是数字经济的灵魂载体。小到一个智能传感器、一块智能手表，大到一座智慧城市、一张智能电网，无不依赖软件系统的驱动与驾驭。“软件定义一切”日益成为一种现实。软件成为信息化社会不可或缺的基础设施，高效地构建和运用智能化软件系统的能力成为国家和社会发展的一种核心竞争力，基础核心软件的自主创新需求急迫。本届中国软件大会聚焦“智能化软件创新推动数字经济与社会发展”主题，汇聚学术界和产业界的专家学者交流学术、碰撞思想，以期超前谋划，踩准步点，推动我国软件技术与产业发展。

梅宏在致辞中回顾了中国软件大会的发展历程。今年近2400人参会的中国软件大会在CCF历史上、在中国软件历史上写下了浓墨重彩的一笔。梅宏鼓励参会人员在当前的数字化时代探索智能化软件促进社会数字经济和社会发展所面临的机遇和挑战。

张英在致辞中表示，软件在数字化进程中发挥着重要的基础支撑作用，与人工智能技术相融合的智能化软件，正成为推动数字经济与社会发展的强大力量。上海将加快推动基础软件、工业软件、行业软件、平台软件全链条发展，全面促进软件产业高质量发展，将坚持创新驱动发展，提升关键软件供给能力，夯实产业发展基础，全面支撑现代化产业体系构建和城市数字化转型。

金力在致辞中指出，软件在人机物三元融合的万物智能互联时代扮演着重要角色，成为融合人机物要素、支撑社会经济发展的新型基础设施。从“第一台电子模拟计算机”到“信息高速公路”，60多年来，复旦计算机人在中国计算机教学科研发展中创造了多项第一，培养了一大批具有国际视野和国际竞争力的人才。目前，学校正围绕AI for Science战略开展前瞻布局和前沿探索，围绕新型平台软件开展特色化示范性软件学院建设，希望面向智能化时代的新型基础软件及相关关键技术攻关培养高端软件人才。

大会开幕式由大会共同主席、CCF系统软件专委会主任金芝主持。

大会组织委员会主席及程序委员会共同主席、复旦大学教授彭鑫介绍了大会组织情况。本次大会的注册人数超过2300人，参会单位达到326家，其中包括79家企业单位。大会组织了17个学术论坛、11个专刊论坛、12个工业论坛、6个教育论坛，全国大学生软件测试大赛、软件教学案例交流与竞赛、软件研究成果原型系统竞赛、机器人大模型与具身智能挑战赛等4个竞赛、以及CCF YOCSEF上海观点论坛、2023上海软件创新论坛等2个特色论坛。

在特邀报告环节，中国工程院院士于全带来题为“云原生网络体系架构与关键技术”的大会特邀报告。该报告从万物智联需求出发，提出通信/计算/存储一体化的原生网络新型架构。从生物学启示出发，提出类神经元的全解耦异构无线接入，实现空间、时间、频率、功率、编码等网络资源的高效柔性聚合和天空地一体化协同传输。针对不确定性的未知攻击应对难题，提出类生物免疫的内生网络安全机制，实现零信任安全与自适应防御的有机结合。报告总结了云原生新型网络的云原生、智原生、安全内生、弹性内生、低成本、低能耗六大特征。 

ACM/IEEE Fellow、欧洲科学院院士王义给大家带来了题为“MIMOS: from theory to tools for (safety-critical) embedded software design & updates”（注：《MIMOS的理论到工具：安全攸关嵌入式软件的设计和更新》）的特邀报告。该报告针对安全攸关软件的动态更新问题，提出异步设计范式MIMOS，分析MIMOS的背景与动机、底层语义理论以及工具链和工具演示。

中国科学院徐宗本院士给大家带来了题为“变与不变：大模型背景下的AI数理基础问题”的特邀报告。该报告概述了大模型作为AI发展新浪潮的趋势，认为投入大模型研究已是必然选择。随后，从“变与不变”两个维度提出了大模型浪潮下AI基础研究的一些科学问题，尝试了“大维随机矩阵、无穷维贝叶斯、无穷维统计机器学习”等几类数学工具，同时也强调工具自身需要发展，所解决的问题更需要越来越一般化。

院士论坛也是本次会议的一个焦点。该论坛由中科院软件所研究员詹乃军主持，邀请了林惠民、徐宗本、梅宏、吕建、柴洪峰、王怀民等6位中国科学院院士、中国工程院院士，围绕“智能化软件创新推动数字经济与社会发展”主题，就计算机软件与人工智能的融合创新方向及其对数字经济和社会发展的作用、人工智能对计算机软件带来的机遇与挑战、以及智能软件的发展方向进行了热烈探讨。

12月1日举行学术论坛、工业论坛、教育论坛、竞赛论坛活动，12月2日举行开幕式、特邀报告、院士论坛、学术论坛、工业论坛、教育论坛、竞赛论坛活动，12月3日举行特邀报告、专委博士学位论文激励计划启动暨2023年评选结果发布仪式、NASAC青年软件创新奖论坛、颁奖仪式以及闭幕式。

12月3日上午中国科学院院士何积丰、中国工程院院士柴洪峰以及华为Fellow、2012可信实验室总裁蒋铭博士分别就“人工智能时代安全攸关软件系统设计方法展望”“数字化转型背景下金融风险监测技术与金融科技发展思考”“严格工程化的可信和理想主义的智能化”等主题做大会特邀报告。此外，还举行了CCF系统软件、软件工程、形式化方法专委博士学位论文激励计划启动仪式，发布2023年评选结果。

12月3日下午举行NASAC青年软件创新奖论坛，包括1个企业青年软件创新人才报告和3位2022年度NASAC青年软件创新奖获奖人报告。华为操作系统技术专家雷继棠博士将以“VSync: 可证明的高性能、高可靠并发”为题，介绍后摩尔时代多核体系结构下的弱内存序和NUMA等特性给并发软件的开发带来的新挑战，分享华为在应用形式化方法端到端解决多核并发挑战的工业实践。清华大学姜宇教授以“模糊测试研究与实践”为题，介绍模糊测试对提升软件质量和系统安全的重要意义及其面临的关键挑战，分享其研究团队在模糊测试系统关键组件的设计优化及不同待测对象适配技术方面的研究和实践。中科院信工所陈恺研究员以“人工智能安全攻防对抗”为题，介绍人工智能技术对攻防对抗的重要影响。上海交通大学夏虞斌教授以“软件系统的机密性与可维护性”为题，介绍机密计算环境下软件系统如何在机密性与可维护性之间进行权衡，并以机密数据库为例介绍相关的实践和探索。

12月3日还举行了颁奖仪式和大会闭幕式。会上宣布了本年度NASAC青年软件创新奖获奖者、软件研究成果原型系统竞赛获奖团队、软件教学案例竞赛获奖作品、全国大学生软件测试大赛获奖者、机器人大模型与具身智能挑战赛获奖者、以及大会优秀论坛名单。

明年的CCF中国软件大会将移师“世界历史名城”陕西西安。