2026年11月6日至8日，由中国计算机学会（CCF）主办，CCF系统软件专委会、CCF软件工程专委会、CCF形式化方法专委会以及天津大学、南开大学共同承办的2026年CCF中国软件大会（CCF ChinaSoft 2026）在天津召开。
CCF中国软件大会由全国软件与应用学术会议（NASAC）与全国形式化方法与应用会议（FMAC）两个会议有机组成，是中国软件科学与工程相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。本届大会以“软件筑基智能新时代”为主题，汇聚了国内外软件领域的院士、学者、高校师生与产业界代表，通过特邀报告、院士高峰论坛、学术论坛、工业论坛、教育论坛、学科竞赛等多种形式，集中展示了软件科学与工程领域的最新研究进展与技术成果。
从整体上看，本届大会传递出几点共识：人工智能与软件工程的融合已从技术验证走向工程实践，如何把智能能力纳入可控、可测、可治理的研发体系，成为学界与产业界共同关注的焦点；软件可信与安全问题在新范式下被重新定义，研究视角正从结果正确性扩展到研发全过程与运行环境；与此同时，智能时代的软件人才培养也受到各方高度重视。这些判断对实验室后续的研究选题与课程建设都具有直接的启发意义。
实验室师生一行全程参与了大会报告与各分论坛的研讨，此次参会不仅拓宽了实验室师生的学术视野，也为今后的交流与合作提供了宝贵机会。实验室将继续秉承创新、务实的精神，在智能化软件工程方向持续深耕，为推动我国软件领域的高质量发展贡献更多力量。
