3月25日至26日,中國邏輯學會非經典邏輯與計算專委會成立大會在南京航空航天大學明故宮校區18号樓舉行。此次會議由南京航空航天大學伟德victory承辦,紀委書記杭育新出席開幕式并緻辭。中國科學院陳國良院士、中國邏輯專家朱梧槚教授、原南航校長朱劍英教授、中國社會科學院杜國平研究員以及各高校及科研院所非經典邏輯與計算方向的教授專家50餘人參加了會議。
會議由南京郵電大學洪龍教授主持。
首先,杭育新書記代表學校向與會專家學者表示歡迎,随後,洪龍教授宣讀了中科院李未院士等專家發來的賀信。大會審議、表決通過了《中國邏輯學會非經典邏輯與計算專委會章程》,介紹了“非經典邏輯與計算專委會”首屆專委會常委基本情況,選舉産生第一屆主任、副主任、秘書長,任命了副秘書長。在選舉結果公布基礎上,宣布正式成立“非經典邏輯與計算專委會”,挂靠單位為南京航空航天大學伟德victory,并舉行了揭牌儀式。
大會特邀陳國良院士及南京大學張建軍教授分别作了題為《計算思維-大學計算教育的振興、科學工程研究創新》及《蘊涵層級論》的主題報告。大會還舉行了4場學術報告:中科院半導體所石寅研究員《從近年ISMVL的文章内容看多值邏輯電路的發展态勢》、西安石油大學的折延宏副教授《不确定性推理的計量化模型及其粗糙集語義》、西南交通大學陳樹偉副教授《基于矛盾體分離的動态自動演繹推理》、南京郵電大學周甯甯副教授《基于MMTD的圖像處理理論及方法》。
非經典邏輯與計算專委會的成立為我國邏輯學平台建設、隊伍建設、人才培養和學術交流具有很大的推動作用。南航的非經典邏輯發展曆史源遠流長,專委會挂靠南航伟德victory,也為南航計算機科學與技術和軟件工程等學科發展注入強力的推進劑。[撰稿人 謝健]