2020年11月22日上午，在重庆大学承办的首届CCF中国软件大会上举行了以“软件定义智能，支撑创新时代”为主题的院士高峰论坛。中国科学院院士林惠民、何积丰、梅宏、吕建、王怀民和中国工程院院士陈左宁受邀出席本次高峰论坛。论坛由大会共同主席、CCF形式化方法专委主任、国防科技大学王戟教授主持。

王戟首先邀请六位院士就“中国的软件工程学科和软件产业应该如何实现健康、持续、快速发展”进行了交流和研讨。林惠民和陈左宁分别从学科交叉融合和软件工程生态等角度探讨了学科和产业存在的问题和努力的方向；何积丰和梅宏分别从学科定位、人才培养、知识产权等方面的挑战提出了见解；吕建和王怀民从“软件定义智能”的角度分别阐述了学科承载的使命。

王戟以“什么是软件学科发展的‘初心’和‘灵魂’？”为题，邀请六位院士发表真知灼见。王怀民从解决实际问题和成果产出形态的角度阐述了自己的观点，并指出，通用软件平台的研发应作为学科价值的体现。吕建从学科跨界中发现共性、如何建立软件方法学的角度阐述了软件学科的发展观。梅宏从“软件定义智能”的角度阐释了软硬件的关系，并分析了凝练学科共性、构建方法学求解问题的重要性。何积丰从软件的创造性、软件赋能万物这些角度分享了自己的观点，强调应从软件本身找到科学技术创新和发展的根源。陈左宁则从软件学科发展和演化的角度，指出软件人才培养中应该重点把握软件方法学和工程学的本质，应以快速解决新问题为关键目标。林惠民则从创新驱动和学科交融的角度，探讨了软件学科的发展态势和规律。

会议的最后，六位院士对中国软件业界的同仁提出了寄语和期望。

会前，中国科学院院士郑志明、何积丰、王怀民，中国工程院院士陈左宁分别作了大会特邀报告。重庆大学校长张宗益会见了出席本次CCF中国软件大会的七位院士。重庆大学副校长王时龙、大数据与软件学院领导陪同参加了会见活动。