2025年8月3日至5日，2025CCF全國理論計算機科學學術(shù)年會在昆明召開。本次學術(shù)年會由中國計算機學會（CCF）主辦，CCF理論計算機科學專業(yè)委員會、云南大學信息學院、云南省智能系統(tǒng)與計算重點實驗室、云南大學數(shù)學與統(tǒng)計學院聯(lián)合承辦。來自全國高校、科研院所和相關(guān)行業(yè)的300余位專家學者參會，圍繞理論計算機科學的前沿進展、交叉融合與產(chǎn)業(yè)應(yīng)用展開深入研討。
大會開幕式由CCF理論計算機科學專委會秘書長、中國科學院計算技術(shù)研究所張家琳研究員主持。云南大學黨委副書記吳建德教授和CCF理論計算機科學專委會主任、電子科技大學肖鳴宇教授致辭。
西安交通大學徐宗本院士、中國科學院計算技術(shù)研究所陳熙霖研究員、北京航空航天大學李昂生教授、中國科學技術(shù)大學李向陽教授、上海財經(jīng)大學陸品燕教授、中國科學院數(shù)學與系統(tǒng)科學研究院陳旭瑾研究員，受大會特邀，分別以《大模型的極限理論：解讀智能涌現(xiàn)現(xiàn)象》《從識別到理解——計算機視覺演進與未來挑戰(zhàn)》《智能時代的理論計算機科學：面向未來的計算機科學》《面向大規(guī)模定制化離散制造的智能網(wǎng)絡(luò)協(xié)同與優(yōu)化》《帶預算限制的拍賣機制設(shè)計》《Prophet Trading vs. Trading Prophets 》為題作大會報告，交流分享了理論計算機科學和多學科交叉的突破性成果。
會議設(shè)置了多個特色板塊，推動學術(shù)與產(chǎn)業(yè)聯(lián)動。在專題報告環(huán)節(jié)，北京大學許進教授作題為《R(3,10)=40》的報告。在博士學位論文激勵計劃報告會中，5位優(yōu)秀博士生分享了最新創(chuàng)新成果。在Panel活動中，肖鳴宇教授、中國科學院計算技術(shù)研究所孫曉明研究員、合肥工業(yè)大學李廉教授、東莞理工大學殷建平教授、中南大學陳志剛教授、海軍工程大學賁可榮教授圍繞“AI時代的理論計算機科學”展開討論。在CCF-華為胡楊林基金理論計算機專項報告活動中，7位青年學者展示了各自研究的最新進展和成果。
本次會議收錄50余篇學術(shù)論文，設(shè)3個平行分論壇，覆蓋組合優(yōu)化、形式化驗證、量子計算等方向，各位學者進行了詳細的論文匯報。
此次大會為國內(nèi)理論計算機科學相關(guān)領(lǐng)域?qū)W者提供了一個交流新成果、碰撞新思想、達成新共識、推動產(chǎn)學研協(xié)同創(chuàng)新的平臺，也為推動全國理論計算基礎(chǔ)、人工智能科學的研究注入了新的動力。
來源：云南大學信息學院
