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