8月16日至17日，由西安石油大學(xué)主辦、西安石油大學(xué)理學(xué)院承辦、陜西師范大學(xué)與西安郵電大學(xué)協(xié)辦的第五屆人工智能邏輯與應(yīng)用國(guó)際會(huì)議（AILA 2025）在我校雁塔校區(qū)順利召開。本次會(huì)議以“邏輯創(chuàng)新、應(yīng)用賦能”為主題，主要聚焦人工智能理論的前沿突破與跨領(lǐng)域應(yīng)用實(shí)踐，吸引了來自美國(guó)、荷蘭等國(guó)外高校以及國(guó)內(nèi)北京大學(xué)、中國(guó)科學(xué)院大學(xué)、華東師范大學(xué)、陜西師范大學(xué)、山西大學(xué)、深圳大學(xué)、浙江大學(xué)、合肥工業(yè)大學(xué)等高校以及華院計(jì)算技術(shù)（上海）股份有限公司等科研院所及企業(yè)的80余名專家學(xué)者參與研討。
會(huì)議開幕前，校黨委書記常江在貴賓室親切會(huì)見了與會(huì)部分專家，對(duì)各位專家的到來表示熱烈的歡迎和衷心的感謝，他簡(jiǎn)要介紹了學(xué)校的基本情況及學(xué)科特色，并期待各位專家能一如既往支持學(xué)校數(shù)學(xué)、人工智能等相關(guān)學(xué)科的建設(shè)與發(fā)展。
會(huì)議于8月16日上午在雁塔校區(qū)學(xué)術(shù)報(bào)告廳隆重開幕。我校副校長(zhǎng)種宇宏出席開幕式并致歡迎辭。他代表學(xué)校對(duì)遠(yuǎn)道而來的國(guó)內(nèi)外與會(huì)代表表示熱烈歡迎和衷心感謝，并向代表們介紹了西安石油大學(xué)在學(xué)科建設(shè)、科學(xué)研究、人才培養(yǎng)、國(guó)際交流與合作等方面的發(fā)展成就。他希望與會(huì)代表能借此平臺(tái)充分交流思想、深入研討，激發(fā)研究活力，提升科研水平，共同推動(dòng)人工智能、數(shù)學(xué)與邏輯學(xué)的蓬勃發(fā)展。隨后，會(huì)議程序委員會(huì)主席、荷蘭萊頓大學(xué)Marcello Bonsangue教授發(fā)表了開幕式致辭。開幕式由我校理學(xué)院院長(zhǎng)折延宏教授主持。
在主旨報(bào)告環(huán)節(jié)，荷蘭與佛蘭德斯開放大學(xué)的Natasha Alechina教授、山西大學(xué)周北海教授、德克薩斯大學(xué)休斯頓分校張國(guó)強(qiáng)教授、陜西師范大學(xué)李永明教授、北京大學(xué)詹乃軍教授分別作了《強(qiáng)化學(xué)習(xí)的邏輯》《泛型句與隱喻句的形式語(yǔ)義》《集成邏輯：時(shí)空推理的統(tǒng)一框架》《可能性時(shí)序邏輯：可判定性與完全公理化》《將Hoare邏輯擴(kuò)展至混合系統(tǒng)》的精彩報(bào)告，并與參會(huì)代表進(jìn)行了熱烈的討論。
閉幕式由陜西師范大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)院周紅軍教授主持，會(huì)議主席、中科院大學(xué)數(shù)學(xué)與系統(tǒng)科學(xué)研究院張松懋教授對(duì)本次會(huì)議進(jìn)行了總結(jié)，會(huì)議榮譽(yù)主席、深圳大學(xué)謝維信教授為本次會(huì)議最佳論文以及最佳論文亞軍獲得者進(jìn)行了頒獎(jiǎng)，會(huì)議程序委員會(huì)主席、華東師范大學(xué)陳儀香教授對(duì)本次會(huì)議會(huì)務(wù)組工作人員表達(dá)了感謝。
本次會(huì)議為人工智能、邏輯學(xué)與數(shù)學(xué)等相關(guān)領(lǐng)域的專家學(xué)者提供了交流合作的平臺(tái)。承辦此次會(huì)議也是我校理學(xué)院關(guān)于進(jìn)一步加強(qiáng)學(xué)術(shù)交流、活躍學(xué)術(shù)氛圍的有力舉措。下一步，理學(xué)院將深入學(xué)習(xí)貫徹學(xué)校學(xué)科建設(shè)工作調(diào)度會(huì)精神，以此次會(huì)議為契機(jī)，進(jìn)一步凝練學(xué)科方向，加強(qiáng)有組織科研工作力度，不斷提高科研創(chuàng)新與社會(huì)服務(wù)能力。
