The 5th International Conference on Artificial Intelligence Logic and Applications (AILA 2025), hosted by Xi’an Shiyou University, organized by the College of Science of Xi’an Shiyou University, and co-sponsored by Shaanxi Normal University and Xi’an University of Posts and Telecommunications, was successfully held on August 16th and 17th at the Yanta Campus of Xi’an Shiyou University. With the theme of “Logic InnovationandApplication Empowerment”, the conference mainly focusedon the cutting-edge breakthroughs in AI theory and cross-disciplinary application practice, attracting 80 experts and scholars from foreign universities in the United States and the Netherlands, as well as domestic universities such as Peking University, University of Chinese Academy of Sciences, East China Normal University, Shaanxi Normal University, Shanxi University, Shenzhen University, Zhejiang University, and Hefei University of Technology as well as other universities and research institutes and enterprises such as Huayuan Computing Technology (Shanghai) Co.
Before the opening of the conference, Chang Jiang, Secretary of the Party Committee of the university,warmlymet with some of theattendingexperts in the VIP room. He extended a warm welcome and sincere gratitude to the experts for their arrival, briefly introduced the university’s basic information and disciplinary characteristics, and expressed the expectation that all experts would continue to support the construction and development of the university’s related disciplines such as Mathematics and Artificial Intelligence as always.
The conferencewasgrandly opened in the Academic Lecture Hall of Yanta Campus on the morning of August 16. Vice PresidentChong Yuhong attended the opening ceremony and delivered a welcome speech. On behalf of the university, he expressed warm welcome and heartfelt thanks to the delegates from home and abroad, and introduced the development achievements of Xi’an Shiyou University in discipline construction, scientific research, talent training, international exchanges and cooperation. He hoped that the participants could take this platform to fully exchange ideas, in-depth discussions, stimulatingresearch vitality, improvingscientific research level, and jointly promotingthe vigorous development of artificial intelligence, mathematics and logic. Later, Professor Marcello Bonsangue, Chairman of the ConferenceProgramCommittee and Professor of Leiden University in the Netherlands, delivered an opening speech. The opening ceremony was presided over by ProfessorShe Yanhong, Dean of theCollegeof Science of our University.
In the keynote report, Professor Natasha Alechina of the Open University of Netherlands and Flanders, Professor Zhou Beihai of Shanxi University, Professor Zhang Guoqiang of the University of Texas at Houston, Professor Li Yongming of Shaanxi Normal University and Professor Zhan Naijun of Peking Universitydelivered wonderful reportsrespectively, such asLogic of Reinforcement Learning,Formal Semantics of Generic Sentences and Metaphorical Sentences,Integrated Logic: Unified Framework of Space-time Reasoning,Possible Temporal Logic: Decidability and Complete Axiomatization,Extension of Hoare Logic to Mixed Systems.They also had enthusiastic discussion with the conferenceparticipants.
The closing ceremony was presided over by Professor Zhou Hongjun from the School of Mathematics and Statistics of Shaanxi Normal University. Professor Zhang Songmao from the Academy of Mathematics and Systems Science, University of Chinese Academy of Sciences, Chair of the Conference,delivered a concluding summary.Professor Xie Weixin from Shenzhen University, Honorary Chair of the Conference,presented awards tothe winners of the Best Paper and theRunner-up Best Paper. Professor Chen Yixiang from East China Normal University, Chair of theConferenceProgram Committee, expressed thanksto the staff of the conference organizing team.
This conference has provided a platform for exchange and cooperation among experts and scholars in artificial intelligence, logic, mathematics and other related fields.Hostingthis conference is also asignificant initiativetaken by theCollegeof Science of our university to further strengthen academic exchanges and enliven the academic atmosphere. In the next step,theCollegeof Science will further study and implement the spirit of the university’s discipline construction work coordination meeting,andtake this conference as an opportunity to further refine discipline directions, strengthen the effortsinorganizedscientific research, and continuously improve the capabilities of scientific research innovation and social services.
