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