The 1st National Conference on Artificial Intelligence Logic and the 4th International Conference on Artificial Intelligence Logic and Applications was successfully held in Lanzhou from August 9 to 12, 2024. It was hosted by the Chinese Association for Artificial Intelligence (CAAI), and co-sponsored by CAAI Logic Committee of Artificial Intelligence and the School of Electronics and Information Engineering of Lanzhou Jiaotong University. With the theme of “Artificial Intelligence Logic and Application”, the conference aims to accurately grasp the development trend of artificial intelligence logic and its application, promote scientific and technological innovation in the field of artificial intelligence, and provide new impetus for fostering the development of new productivity with the high-quality development and high-level application of artificial intelligence.

The conference set up a main venue and 4 sessions, attracting more than 100 experts and scholars from the University of Bristol and the University of Ulster in the UK, the University of Michigan at Ann Arbor in the US, the University of Aveiro in Portugal, as well as more than 40 universities and research institutes in China.