2025年8月3日至5日，2025CCF全國理論計算機科學學術年會在昆明召開。本次學術年會由中國計算機學會（CCF）主辦，CCF理論計算機科學專業委員會、云南大學信息學院、云南省智能系統與計算重點實驗室、云南大學數學與統計學院聯合承辦。來自全國高校、科研院所和相關行業的300余位專家學者參會，圍繞理論計算機科學的前沿進展、交叉融合與產業應用展開深入研討。

大會開幕式由CCF理論計算機科學專委會秘書長、中國科學院計算技術研究所張家琳研究員主持。云南大學黨委副書記吳建德教授和CCF理論計算機科學專委會主任、電子科技大學肖鳴宇教授致辭。

西安交通大學徐宗本院士、中國科學院計算技術研究所陳熙霖研究員、北京航空航天大學李昂生教授、中國科學技術大學李向陽教授、上海財經大學陸品燕教授、中國科學院數學與系統科學研究院陳旭瑾研究員，受大會特邀，分別以《大模型的極限理論：解讀智能涌現現象》《從識別到理解——計算機視覺演進與未來挑戰》《智能時代的理論計算機科學：面向未來的計算機科學》《面向大規模定制化離散制造的智能網絡協同與優化》《帶預算限制的拍賣機制設計》《Prophet Trading vs. Trading Prophets 》為題作大會報告，交流分享了理論計算機科學和多學科交叉的突破性成果。

會議設置了多個特色板塊，推動學術與產業聯動。在專題報告環節，北京大學許進教授作題為《R(3,10)=40》的報告。在博士學位論文激勵計劃報告會中，5位優秀博士生分享了最新創新成果。在Panel活動中，肖鳴宇教授、中國科學院計算技術研究所孫曉明研究員、合肥工業大學李廉教授、東莞理工大學殷建平教授、中南大學陳志剛教授、海軍工程大學賁可榮教授圍繞“AI時代的理論計算機科學”展開討論。在CCF-華為胡楊林基金理論計算機專項報告活動中，7位青年學者展示了各自研究的最新進展和成果。

本次會議收錄50余篇學術論文，設3個平行分論壇，覆蓋組合優化、形式化驗證、量子計算等方向，各位學者進行了詳細的論文匯報。

此次大會為國內理論計算機科學相關領域學者提供了一個交流新成果、碰撞新思想、達成新共識、推動產學研協同創新的平臺，也為推動全國理論計算基礎、人工智能科學的研究注入了新的動力。

來源：云南大學信息學院