亚洲日韩国产精品第一页一区_无码av免费精品一区二区三区_亚洲一本大道无码av天堂_免费观看日本污污ww网站_国产精品无码一二区免费

　　11月15日-17日，全國數(shù)理邏輯年會(huì)暨學(xué)術(shù)會(huì)議在重慶召開。本會(huì)議中國數(shù)學(xué)會(huì)數(shù)理邏輯專業(yè)委員會(huì)主辦，中國科學(xué)院重慶綠色智能技術(shù)研究院、西南大學(xué)和重慶交通大學(xué)聯(lián)合承辦。 

　　會(huì)議開幕式由西南大學(xué)計(jì)算機(jī)學(xué)院劉志明教授主持。中國科學(xué)院重慶綠色智能技術(shù)研究院黨委書記、副院長韋方強(qiáng)研究員在開幕式致辭，對(duì)參會(huì)人員表示歡迎并介紹我院院情。中國數(shù)學(xué)會(huì)數(shù)理邏輯專業(yè)委員會(huì)主任、四川大學(xué)數(shù)學(xué)院張樹果教授代表學(xué)會(huì)發(fā)表講話。我院信息所相關(guān)科研團(tuán)隊(duì)參加了本次會(huì)議，高性能計(jì)算研究中心劉江副研究員擔(dān)任本屆會(huì)議組織委員會(huì)主席。 

　　數(shù)理邏輯年會(huì)旨在為數(shù)理邏輯及其相關(guān)領(lǐng)域的研究學(xué)者提供一個(gè)廣泛的交流、合作平臺(tái)，促進(jìn)中國數(shù)理邏輯及其相關(guān)領(lǐng)域研究的發(fā)展。本次會(huì)議邀請(qǐng)了新加坡國立大學(xué)莊志達(dá)教授（新加坡科學(xué)院院士）、美國加州大學(xué)Theodore A. Slaman教授、日本神戶大學(xué)Joerg Brendle教授、波蘭華沙大學(xué)Krzsztof Krupinski教授、中科院軟件所張健教授等邏輯學(xué)家和計(jì)算機(jī)科學(xué)家作大會(huì)報(bào)告。同時(shí)，會(huì)議還邀請(qǐng)到了國內(nèi)外數(shù)理邏輯、計(jì)算機(jī)邏輯、哲學(xué)邏輯、形式化方法與人工智能等學(xué)科、領(lǐng)域的知名教授、專家作會(huì)議專題報(bào)告。來自全國高校、科研院所以及國外邏輯界近100名代表參會(huì)。

韋方強(qiáng)書記致辭

代表合影