雷鋒網(wǎng)AI科技評論按：10 月 14 日至 15 日，2017 年全國理論計算機科學(xué)學(xué)術(shù)年會 (NCTCS2017) 在華中科技大學(xué)順利召開。雷鋒網(wǎng)AI科技評論邀請了華中科技大學(xué)計算機學(xué)院何琨教授對本次年會進行系列總結(jié)和回顧，特此感謝。

何琨，華中科技大學(xué)計算機學(xué)院教授、博士生導(dǎo)師、計算機科學(xué)理論研究所副所長、創(chuàng)新研究院 John Hopcroft 工作室負責(zé)人，康奈爾工程學(xué)院 2016-2017 學(xué)年 Mary Shepard B. Upson 冠名客座教授，中國計算機學(xué)會理論專委會委員。曾獲得湖北省科技進步一等獎、湖北省優(yōu)秀博士學(xué)位論文獎，2016 年入選德國海德堡阿貝爾/菲爾茲/圖靈獎基金會全球 200 名杰出青年學(xué)者。她的主要研究方向包括數(shù)據(jù)挖掘、機器學(xué)習(xí)、組合優(yōu)化、全局優(yōu)化的基礎(chǔ)理論與算法。在 NIPS、WWW、ICDM、ECML-PKDD、Theoretical Computer Science、Information Sciences、IEEE Transactions on Knowledge Discovery from Data、IEEE Transactions on Systems, Man, and Cybernetics、European Journal of Operational Research、Computers & Operations Research 等國際會議和期刊發(fā)表論文 70 余篇。多次擔(dān)任 WWW、AAAI、FAW、NCTCS 的程序委員會委員。

10 月 14 日至 15 日，2017 年全國理論計算機科學(xué)學(xué)術(shù)年會 (NCTCS2017) 在華中科技大學(xué)順利召開。此次會議由中國計算機學(xué)會主辦，理論計算機科學(xué)專業(yè)委員會協(xié)辦，華中科技大學(xué)計算機科學(xué)與技術(shù)學(xué)院與湖北省計算機學(xué)會聯(lián)合承辦。會議旨在交流近年來我國理論計算機科學(xué)的最新研究成果，研究國內(nèi)外理論計算機科學(xué)及其應(yīng)用的發(fā)展趨勢，進一步推動我國理論計算機科學(xué)研究的發(fā)展。

14 日上午，理論專委秘書長國防科技大學(xué)祝恩教授主持開幕式，理論專委主任合肥工業(yè)大學(xué)李廉教授致開幕辭，華中科技大學(xué)副校長梁茜出席開幕式并致歡迎詞，我作為大會組織委員會主席向參會代表報告了會議的籌備情況。

今年共邀請了七位在國內(nèi)外理論計算機科學(xué)界有威望的 Senior 學(xué)者和活躍在國際學(xué)術(shù)前沿的高水平青年學(xué)者在 14、15 日上午作大會特邀報告。

(1) 理論專委前任主任、國防科技大學(xué)的殷建平教授作了題為「理論計算機科學(xué)的過去、現(xiàn)在和未來」的特邀報告。為了計算機科學(xué)理論在中國的長遠發(fā)展，殷教授建議在當(dāng)前計算機科學(xué)與應(yīng)用發(fā)展的各種熱潮下，冷靜思考計算機科學(xué)理論到底該研究些什么問題？如何使計算機科學(xué)理論的研究既適應(yīng)技術(shù)發(fā)展的需要又保持自身的理論特色，甚至能指導(dǎo)技術(shù)的發(fā)展？并提出了「不懂理論，如何應(yīng)用」，「傳承與創(chuàng)新」、「把握趨勢、順勢而為」的觀點。

理論專委前任主任、國防科技大學(xué)殷建平教授

(2) 微軟亞洲研究院的高級研究員陳衛(wèi)博士作了題為「Combinatorial Online Learning」的特邀報告。陳衛(wèi)研究員以組合多臂老虎機為例，介紹了他與他的合作者提出的將優(yōu)化任務(wù)與非線性目標(biāo)函數(shù)和近似保證相結(jié)合的有緊的 regret 界的通用框架。

微軟亞洲研究院高級研究員陳衛(wèi)博士

(3) 香港城市大學(xué)李閩溟副教授作了題為「Towards Truth: Mechanism Design vs. Data Mining」的特邀報告。他首先以 facility location games 為例，展示了如何通過機制設(shè)計以保證不說謊；然后以多源異構(gòu)社交網(wǎng)絡(luò)的事件挖掘為例，說明如何對不完全的或不一致的數(shù)據(jù)建立一個多維模型，以保證挖掘到真實的信息。

香港城市大學(xué)李閩溟副教授

(4) 上海財經(jīng)大學(xué)陸品燕教授做了題為「理論計算機——一門交叉學(xué)科」的特邀報告，討論了理論計算機科學(xué)與數(shù)學(xué)、科學(xué)、經(jīng)濟學(xué)、計算機應(yīng)用技術(shù)的關(guān)系。陸教授用圖同態(tài)問題，展示了可計算性與計算復(fù)雜性、NP 完全為與數(shù)學(xué)交叉的本質(zhì)性問題。然后列舉了 FKT 算法、全息算法和相變現(xiàn)象，闡述理論計算機科學(xué)與物理的交叉。接著從經(jīng)濟學(xué)中的計算問題、計算視角下的經(jīng)濟學(xué)問題和經(jīng)濟學(xué)視角的計算問題三個角度，闡述理論計算機科學(xué)與經(jīng)濟學(xué)的交叉。最后以差分隱私和信念傳播算法為例，說明計算機科學(xué)理論與應(yīng)用的關(guān)系。

上海財經(jīng)大學(xué)陸品燕教授

(5) 法國昂熱大學(xué)郝進考教授作了題為「Learning and Data Mining for Combinatorial Optimization: Some Case Studies」的特邀報告，從以下三個方面闡述如何結(jié)合機器學(xué)習(xí)和數(shù)據(jù)挖掘技術(shù)求解組合優(yōu)化問題：基于概率學(xué)習(xí)/增強學(xué)習(xí)的搜索求解圖著色問題，用多維尺度算法 MDS 進行搜索空間制圖，用頻繁模式挖掘發(fā)現(xiàn)排列問題中的「backbone」。

法國昂熱大學(xué)郝進考教授

(6) 北京大學(xué)王立威教授作了題為「Towards Understanding Deep Learning」的特邀報告。王教授介紹了對于深度神經(jīng)網(wǎng)絡(luò)，由于模型參數(shù)遠大于訓(xùn)練數(shù)據(jù)模型，基于復(fù)雜性的學(xué)習(xí)理論無法解釋其良好的泛化性能，而 Stochastic Gradient Langevin Dynamics (SGLD) 方法有極強的泛化能力，可以部分解釋深度學(xué)習(xí)中的一些現(xiàn)象。

北京大學(xué)王立威教授

(7) 清華大學(xué)李建助理教授作了題為「Stochastic Combinatorial and Geometric Optimization」的特邀報告。他以若干典型隨機幾何或組合優(yōu)化問題為例，介紹了當(dāng)輸入或參數(shù)存在不確定性時，他和他的合作者所做的復(fù)雜性和近似性方面的工作。

清華大學(xué)李建助理教授

今年同時征集中、英文論文，共收到稿件 160 余篇，錄用英文論文 34 篇、中文論文 37 篇，評選了 4 篇優(yōu)秀論文。英文論文首次在 Springer Communications in Computer and Information Science 出版，并推薦了 4 篇到 SCI 期刊 Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery。中文論文分別推薦到計算機研究與發(fā)展、華中科技大學(xué)學(xué)報（自然科學(xué)版）、計算機科學(xué)與探索、計算機工程與科學(xué)、計算機科學(xué)、計算機與數(shù)字工程等期刊發(fā)表。14 日下午為錄用論文的 12 場分組報告，研究方向包括算法與復(fù)雜性、數(shù)據(jù)科學(xué)與機器學(xué)習(xí)理論、計算模型、軟件理論及方法、并行與分布式計算。其中算法與復(fù)雜性方面的論文較多，占了 4 個分組。代表們自始至終認(rèn)真參與，達到了廣泛開展學(xué)術(shù)交流的預(yù)期目的。

14 日大會晚宴上，對會議評選的 4 篇優(yōu)秀論文進行了頒獎。隨后召開了理論專委的專委會議，吸引了大會特邀報告人陸品燕、陳衛(wèi)、王立威、李建在內(nèi)的共 16 名新專委。

本次理論年會的主要特點和貢獻在于：人數(shù)規(guī)模首次突破 200 人，論文的投稿質(zhì)量相較往年有明顯提升，首次在 Springer 出版社集結(jié)出版論文集。參會者普遍反映大會報告質(zhì)量高，有高度、有洞見，參會者收獲大、感觸深。

為鼓勵本科生參與學(xué)術(shù)活動，本次會議免費對我院 ACM15、ACM16 兩個班級的 50 多名學(xué)生開放。會議志愿者主要為我院行政辦公室、理論計算機科學(xué)研究所、John Hopcroft 工作室的師生，在會議籌備和開會期間作了大量的工作，使得會議得以有條不紊地順利完成。參會代表普遍反映大會組織安排、接待和安排工作扎實細致，為參會代表搭建了良好的學(xué)術(shù)交流平臺。

NCTCS2017 部分志愿者和 ACM 班本科生參會者

更多精彩內(nèi)容，敬請關(guān)注雷鋒網(wǎng)AI科技評論。

雷峰網(wǎng)特約稿件，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見轉(zhuǎn)載須知。