CCF中国软件大会天津开幕，发布TrustC与具身智能操作系统

11月7日，2026 CCF中国软件大会（CCF ChinaSoft）在天津开幕，主题为“软件筑基智能新时代”，来自12个国家和地区的院士专家、师生代表及企业界人士等超3200人参加。

大会设置60余场领域论坛，涵盖软件工程智能体创新、AI赋能软件系统的架构治理与维护、编程语言前沿技术、具身智能机器人与系统软件、软硬件协同安全等方向，并举办五大学科竞赛，包括定理证明竞赛、AI辅助研发创新大赛、Rust软件原型开发竞赛、软件自动修复竞赛和仓颉杯智能编程大赛。

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

大会还举行院士高峰论坛，围绕“智能互联新时代下中国软件发展新方向”讨论筑牢软件根基、赋能智能创新的实践路径。