11月7日，2026 CCF中国软件大会（CCF ChinaSoft）在天津开幕。本次大会由中国计算机学会（CCF）主办，CCF系统软件专委会、CCF软件工程专委会、CCF形式化方法专委会、天津大学与南开大学联合承办。大会以“软件筑基智能新时代”为主题，来自12个国家和地区的院士专家、师生代表、企业界及行业协会（学会）代表超3200人齐聚天津，共研软件科学与工程前沿方向，共绘软件学科高质量发展蓝图。
天津大学校长柴立元表示，新一代人工智能技术正在深刻重塑软件研发模式与产业生态，对软件领域科技创新和人才培养提出了更高要求。天津大学深入贯彻落实习近平总书记重要回信精神，以国家重大战略需求为导向，紧跟高新技术产业发展趋势，为产业高质量发展注入天大力量，在包括智算领域在内的关键领域打造出一批“学科带头人+标志性科研成果”的天大名片。学校期待以本次大会为契机，汇聚各方力量推动软件领域人才培养、技术突破和产业繁荣，更好服务经济社会发展。
开幕式设置成果发布环节。CCF会士、国防科技大学教授王戟，北京大学教授郭耀分别主持发布“安全编程语言TrustC”和“人机物融合泛在智能生态建设成果”。TrustC是一款面向系统开发的安全编程语言，保留C语言底层控制能力，将安全检查、验证与证明机制融入开发流程。“人机物融合泛在智能生态建设成果”包括人机物融合智能化软件开源社区、物联网设备模型技术白皮书以及Robonix具身智能操作系统。系列成果的发布，将为智能化时代软件技术创新与生态建设提供有力支撑。
大会还开设智能化时代软件人才培养特别大会论坛，面向驾驭AI（支撑AI计算，驾驭AI应用，保障AI可信）的迫切需求，围绕智能化时代软件专业人才培养问题展开讨论与交流，探寻针对性解决方案，并进一步推动智能化时代的软件专业教育变革。
据大会组织委员会主席、天津大学软件学院副院长陈俊洁介绍，2026 CCF中国软件大会为期3天，参会单位超400家，其中企业超110家。大会设置60余场领域论坛，开设软件工程智能体创新、AI赋能软件系统的架构治理与维护、编程语言前沿技术、具身智能机器人与系统软件、软硬件协同安全、AI时代的操作系统安全技术、韧性软件、软件形式化工程方法、智能浪潮下的软件工程教育教学改革等多方向专题论坛，并举办包括定理证明竞赛、AI辅助研发创新大赛（鸿蒙杯）、Rust软件原型开发竞赛、软件自动修复竞赛和仓颉杯智能编程大赛在内的五大学科竞赛。
原文链接：https://mp.weixin.qq.com/s/TRcJIKNcwP0GupWZ6aPn7Q
