中国社会科学网上海讯（记者 查建国 陈炼）12月2日，CCF中国软件大会(ChinaSoft 2023)在上海国际会议中心开幕。本届中国软件大会包括学术、工业、教育以及竞赛四大类50余场活动，吸引来自十个国家和地区的高校、科研机构、企事业单位的2300余位专家学者注册参会。 

　　CCF理事长、大会执行委员会荣誉主席、中国科学院院士梅宏，上海市经济和信息化委员会主任张英，中国科学院院士、复旦大学校长金力分别致辞。本届中国软件大会聚焦“智能化软件创新推动数字经济与社会发展”主题，汇聚学术界和产业界的专家学者交流学术、碰撞思想，以期超前谋划，踩准步点，推动我国软件技术与产业发展。

参加CCF中国软件大会(ChinaSoft 2023)嘉宾合影 照片由主办方提供

　　围绕智能化软件开展前瞻布局和前沿探索 

　　会议提出，智能化软件是数字经济的灵魂载体。小到一个智能传感器、一块智能手表，大到一座智慧城市、一张智能电网，无不依赖软件系统的驱动与驾驭。“软件定义一切”日益成为一种现实。软件成为信息化社会不可或缺的基础设施，高效地构建和运用智能化软件系统的能力成为国家和社会发展的一种核心竞争力，基础核心软件的自主创新需求急迫。 

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

CCF理事长、大会执行委员会荣誉主席、中国科学院院士梅宏致辞 照片由主办方提供

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

上海市经济和信息化委员会主任张英致辞 照片由主办方提供

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

中国科学院院士、复旦大学校长金力致辞 照片由主办方提供

　　大会开幕式由大会共同主席、CCF系统软件专委会主任金芝主持。她介绍了中国软件大会，向各位专家和参会代表、长期支持中国计算机软件学科发展的各级政府、学术界、工业界、媒体的各位同仁，莅临本次大会开幕式的嘉宾表达了感谢。

CCF中国软件大会共同主席、CCF系统软件专委会主任金芝主持大会开幕式 照片由主办方提供

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

CCF中国软件大会组织委员会主席及程序委员会共同主席、复旦大学计算机科学技术学院教授彭鑫介绍大会组织情况 照片由主办方提供

　　智能化软件创新推动数字经济与社会发展 

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

中国工程院院士于全作大会特邀报告 照片由主办方提供

　　ACM/IEEE Fellow、欧洲科学院院士王义给大家带来了题为“MIMOS的理论到工具：安全攸关嵌入式软件的设计和更新”的特邀报告。该报告针对安全攸关软件的动态更新问题，提出异步设计范式MIMOS，分析MIMOS的背景与动机、底层语义理论以及工具链和工具演示。

欧洲科学院院士王义作大会特邀报告 照片由主办方提供

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

中国科学院院士徐宗本作大会特邀报告 照片由主办方提供

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

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

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

　　“智能化软件创新推动数字经济与社会发展”院士论坛现场 照片由主办方提供