11月7日，由中国计算机学会（CCF）主办，CCF系统软件专委会、CCF软件工程专委会、CCF形式化方法专委会、天津大学与南开大学联合承办的2026 CCF中国软件大会（CCF ChinaSoft）在天津开幕。

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

软件大会现场  天津大学供图

CCF会士、CCF理事长、中国工程院院士孙凝晖在致辞中指出，软件是数字经济与人工智能发展的重要基石，是推动产业数字化、智能化转型的关键支撑。天津大学校长柴立元表示，新一代人工智能技术正在深刻重塑软件研发模式与产业生态，对软件领域科技创新和人才培养提出了更高要求。天津大学以国家重大战略需求为导向，紧跟高新技术产业发展趋势，为产业高质量发展注入天大力量，在包括智算领域在内的关键领域打造出一批“学科带头人+标志性科研成果”的天大名片。

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

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

院士高峰论坛现场  天津大学供图

据大会组织委员会主席、天津大学软件学院副院长陈俊洁介绍，2026 CCF中国软件大会为期3天，参会单位超400家，其中企业超110家。大会设置60余场领域论坛，开设软件工程智能体创新、AI赋能软件系统的架构治理与维护等多方向专题论坛，并举办五大学科竞赛，包括定理证明竞赛、AI辅助研发创新大赛（鸿蒙杯）、Rust软件原型开发竞赛、软件自动修复竞赛和仓颉杯智能编程大赛。