2025年7月21日，由中国计算机学会（CCF）系统软件专业委员会主办、武汉大学计算机学院承办的2025 CCF系统软件专委战略研讨会在武汉大学成功召开。本次会议旨在推动系统软件领域的学术创新与产业升级，设有学术前沿、学科发展与集体研讨三个环节，议程紧凑、内容丰富。其中，学术前沿环节由西安交通大学刘烃教授与系统软件专委副主任南京大学许畅教授主持；学科发展环节由系统软件专委秘书长南京大学卜磊教授与武汉大学玄跻峰教授主持；集体研讨环节则由系统软件专委副主任北京航空航天大学胡春明教授主持。

会议开幕式由系统软件专委前主任北京大学/武汉大学金芝教授主持。系统软件专委主任北京大学谢涛教授致欢迎辞，谢涛教授代表系统软件专委对与会嘉宾的到来表示热烈欢迎，并期待本次研讨会为系统软件的未来发展注入新的动力与方向。

上午的学术前沿环节中，香港科技大学张成志教授带来题为《Can LLMs Revolutionize Formal Verification: Gaps and Opportunities?》的主旨报告;西安交通大学刘烃教授以《印度冲突电网攻击事件分析——电力系统信息物理综合安全》为题作专题报告;清华大学姜宇副教授围绕《基础软件安全测试》作专题报告。

下午的学科发展环节中，北京大学谢涛教授作题为《有组织科研创新的高校与新型研发机构体系：系统软件视角》的主旨报告;北京航空航天大学胡春明教授作题为《新型系统软件发展观察与思考》的报告;南洋理工大学刘杨教授以《How to Build AI Agent, How to Build Agentic AI, and How to Build AGI?》为题作报告;华为技术有限公司俞一峻教授作题为《面向系统编程的Rust语言研究方向》的报告。

在集体研讨环节，全体与会专家围绕“系统软件学科发展”主题展开热烈讨论。与会者就韧性软件与软件安全、大模型时代软件研究、系统软件研究机遇与挑战、系统软件科研组织范式四项议题提出了诸多富有建设性的建议，进一步明确了未来发展方向。

本次战略研讨会汇聚了来自北大、清华、南大、上交、南洋理工、香港科大等海内外知名高校的专家学者及来自航天五院、中航工业、华为等产业界代表共五十余人。会议议程紧凑、主题鲜明、内容丰富，展现了系统软件前沿研究的最新成果，凝聚了推动学科发展的集体智慧，为我国系统软件领域的战略规划与学术生态建设献智献策。期待在各方的共同努力下，我国系统软件领域将迎来更加蓬勃的发展，为数字经济时代的产业升级和社会进步提供坚实的技术支撑。(通讯员:杨燕鸣、邹瑶)