Hosted by Beihang University and its Suzhou Innovation Research Institute, the 13th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2018) took place at Qingshan Hotel, Suzhou from September 16 to 19.
Among the conference committee, Prof. Wang Dongming of Beihang University and Prof. Jacques Calmet of the Karlsruhe Institute of Technology were General Chairs and Program Committee Chair was Prof. Jacques Fleuriot of the University of Edinburgh. Keynote speeches were delivered by Prof. Alan Bundy of the University of Edinburgh, Prof. Zhou Zhihua of Nanjing University and Prof. Chee K. Yap of New York University. Other guest speakers included Prof. James Davenport of the University of Bath, Prof. Ilias S. Kotsireas of Wilfrid Laurier University, Dr. Cezary Kaliszyk of the University of Innsbruck and Dr. Chen Xiaoyu of Beihang University. About 50 domestic and foreign experts and scholars took part in the conference.
The opening ceremony
Alan Bundy, Zhou Zhihua and Chee K. Yap (from left to right)
The conference was designed as a platform for exchanges and discussions about the theories, methods and applications of artificial intelligence, symbolic computation and the interaction of the two. It covered topics like machine learning and symbolic computation methods in intelligent systems, geometric computation and intelligent robots, algorithm mathematics and mechanization of mathematics, automated reasoning and computational intelligence, data modeling and analysis, knowledge representation and acquisition, intelligent documents and collective intelligence, etc. A collection of selected conference papers was published by Springer in the book series Lecture Notes in Artificial Intelligence.
A group photo of some attendees
The history of the AISC conferences datesback to 1992, when the first one was held in Karlsruhe, Germany under the name of the International Conference on Artificial Intelligence and Symbolic Mathematical Computation. Beijing witnessed the 2006 conference in this series, on which Prof. Wang Dongming worked as the chair and keynote speeches were given by Fields medalist Heisuke Hironaka, Herbrand Award winners Wu Wenjun and William Walker McCune，and Li Wei, a member of the Chinese Academy of Sciences and a former president of Beihang University. It is expected that AISC 2018, the second AISC conference held in China, will promote the development in the interdisciplinary field of symbolic computation and artificial intelligence here.
Reported by Chen Xiaoyu
Edited by Song Chao
Translated by Li Mingzhu
