两性色午夜视频免费网,91精品欧美激情在线播放,国产小视频在线观看免费,欧美日韩一区在线观看

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

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

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

韋方強書(shū)記致辭

代表合影