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