11月7日,2026 CCF中国软件大会(CCF ChinaSoft)在天津市社会山国际会议中心酒店隆重开幕。本次大会由中国计算机学会(CCF)主办,CCF系统软件专委会、CCF软件工程专委会、CCF形式化方法专委会、天津大学与南开大学联合承办。CCF会士、CCF理事长、中国工程院院士孙凝晖,天津大学校长柴立元,天津市科技局党委书记、局长崔振平出席开幕式并致辞。大会开幕式由CCF理事、天津大学智能与计算学部主任李克秋主持。


本次大会以“软件筑基智能新时代”为主题,来自12个国家和地区的院士专家、师生代表、企业界及行业协会、学会代表超3200人齐聚天津,共研软件科学与工程前沿方向,共绘软件学科高质量发展蓝图。

孙凝晖代表中国计算机学会,向与会嘉宾表示热烈欢迎。他指出,软件是数字经济与人工智能发展的重要基石,是推动产业数字化、智能化转型的关键支撑。当前,人工智能与软件技术深度融合,带来全新机遇和挑战。CCF作为服务计算机领域科技工作者、推动行业创新发展的学术组织,始终将助力软件产业高质量发展作为重要使命。本届大会正是顺应时代需求、凝聚学界产业力量,共商前沿技术、共谋发展蓝图的重要学术平台,希望与会人员畅所欲言、深入交流,碰撞出更多创新火花,达成更多合作共识。

柴立元对与会嘉宾长期以来给予天津大学的关心和支持表示感谢。他表示,新一代人工智能技术正在深刻重塑软件研发模式与产业生态,对软件领域科技创新和人才培养提出了更高要求。天津大学深入贯彻落实习近平总书记重要回信精神,以国家重大战略需求为导向,紧跟高新技术产业发展趋势,为产业高质量发展注入天大力量,在包括智算领域在内的关键领域打造出一批“学科带头人+标志性科研成果”的天大名片。期待以本次大会为契机,汇聚各方力量推动软件领域人才培养、技术突破和产业繁荣,更好服务经济社会发展。

崔振平代表天津市科技局对大会的召开表示祝贺。他表示,天津高度重视软件领域科技创新,以加快推动人工智能创新发展为抓手,聚焦基础软件、工业软件、软件安全等重点领域持续开展技术攻关,产生了一批在国内有重要影响力的成果。后续,天津市科技局将持续加大支持力度,在平台培育、项目支持、成果转化和场景应用等方面提供有力保障,助力天津软件产业高质量发展。


开幕式还设置成果发布环节。CCF会士、国防科技大学教授王戟,北京大学教授郭耀分别主持发布“安全编程语言TrustC”和“人机物融合泛在智能生态建设成果”。TrustC是一款面向系统开发的安全编程语言,保留C语言底层控制能力,将安全检查、验证与证明机制融入开发流程。人机物融合泛在智能生态建设成果包括人机物融合智能化软件开源社区、物联网设备模型技术白皮书,以及Robonix具身智能操作系统。系列成果的发布,将为智能化时代软件技术创新与生态建设提供有力支撑。


中科曙光高级副总裁任京暘代表合作单位发言。中国工程院院士孙凝晖,中国工程院院士云晓春,欧洲科学院院士、意大利科学院院士、ACM/IEEE会士Carlo Ghezzi,分别围绕智能时代下的处理器设计范式、软件漏洞、可信软件工程等议题做特邀报告。院士高峰论坛如期举行,中国工程院院士孙家广,中国科学院院士林惠民,中国科学院院士梅宏,中国科学院院士吕建,中国科学院院士王怀民,中国工程院院士王成山围绕“智能互联新时代下中国软件发展新方向”主题,共商筑牢软件根基、赋能智能创新的实践路径,助力我国软件产业在智能新时代实现高水平自立自强与高质量发展。

大会还开设智能化时代软件人才培养特别大会论坛,面向驾驭AI(支撑AI计算,驾驭AI应用,保障AI可信)的迫切需求,围绕智能化时代软件专业人才培养问题展开讨论与交流,集思广益,探寻针对性的解决方案并进一步推动智能化时代的软件专业教育变革。

据大会组织委员会主席、天津大学软件学院副院长陈俊洁介绍,2026 CCF中国软件大会为期3天,参会单位超400家,其中企业超110家。大会设置60余场领域论坛,开设软件工程智能体创新、AI赋能软件系统的架构治理与维护、编程语言前沿技术、具身智能机器人与系统软件、软硬件协同安全、AI时代的操作系统安全技术、韧性软件、软件形式化工程方法、智能浪潮下的软件工程教育教学改革等多方向专题论坛,并举办五大学科竞赛,包括定理证明竞赛、AI辅助研发创新大赛(鸿蒙杯)、Rust软件原型开发竞赛、软件自动修复竞赛和仓颉杯智能编程大赛。