13th International Conference on Artificial Intelligence and Symbolic Computation

Home Committee Keynotes Poster Program Registration Accommodation Venue & Travel

For Authors

For Participants

Previous AISCs


Invited Speakers

Bruno Buchberger is Professor emeritus of Computer Mathematics at RISC (Research Institute for Symbolic Computation), Johannes Kepler University (JKU) in Linz, Austria. He is Founding Editor of the Journal of Symbolic Computation and Founding Chairman of RISC. He is also Founder (1989) and Director of the JKU Softwarepark Hagenberg, the first Softwarepark in the world. He is the inventor of the theory of Gröbner bases (established in his Ph.D. thesis in 1965). The theory has been worked on in 20 textbooks and over 3000 publications, with thousands of citations. His current main research interests are in automated mathematical theory exploration (the "Theorema Project") with applications for finding hidden knowledge in big data. He received the ACM Kanellakis "Theory and Practice" Award in 2007 and is Member of the Academy of Europe from 1991. He received six honorary doctorates and delivered over 150 invited talks at international conferences. He was awarded the Austrian of the Year 2010 and many other Austrian honors.

Professor Bruno Buchberger MAE
(Johannes Kepler University, Austria)

Alan Bundy is Professor of Automated Reasoning in the School of Informatics at the University of Edinburgh, UK. His research interests include the automation of mathematical reasoning, with applications to reasoning about the correctness of computer software and hardware, and the automatic construction, analysis and evolution of representations of knowledge. His research combines artificial intelligence with theoretical computer science and applies it to practical problems in the development and maintenance of computing systems. He is author of over 300 publications and has held over 60 research grants.

He is Fellow of several academic societies, including the Royal Society, the Royal Society of Edinburgh, the Royal Academy of Engineering and the Association for Computing Machinery. His awards include the IJCAI Research Excellence Award (2007), the CADE Herbrand Award (2007) and a CBE (2012). He was Edinburgh's founding Head of Informatics (1998-2001), founding Convener of UKCRC (2000-2005) and Vice President and Trustee of the British Computer Society with special responsibility for the Academy of Computing (2010-2012). He was also Member of the Hewlett-Packard Research Board (1989-1991), the ITEC Foresight Panel (1994-1996), both the 2001 and 2008 Computer Science RAE panels (1999-2001, 2005-2008) and the Scottish Science Advisory Council (2008-2012).

Professor Alan Bundy FRS
(University of Edinburgh, UK)


Zhi-Hua Zhou is Professor and Founding Director of the LAMDA Group at Nanjing University, China. He is Head of the Department of Computer Science and Technology and Standing Deputy Director of the National Key Laboratory for Novel Software Technology at Nanjing University. His main research interests are in artificial intelligence, machine learning and data mining. He authored the books "Ensemble Methods: Foundations and Algorithms" and "Machine Learning" (in Chinese) and published more than 200 papers in top-tier international journals/conferences. According to Google Scholar, his publications have received more than 30,000 citations, with H-index of 82. He holds 22 patents and has good experiences in industrial applications. He has received various awards, including the National Natural Science Award of China, PAKDD Distinguished Contribution Award, IEEE ICDM Outstanding Service Award and Microsoft Professorship Award. He serves as Executive Editor-in-Chief of Frontiers of Computer Science, Associate Editor-in-Chief of Science China Information Science and Associate Editor of Machine Learning, IEEE Trans Pattern Analysis and Machine Intelligence, ACM Trans Knowledge Discovery from Data, etc. He founded ACML (Asian Conference on Machine Learning) and served as General Co-chair of IEEE ICDM 2016 and Program Co-chair of IJCAI 2015 Machine Learning track. He will serve as Program Co-chair of AAAI 2019 and IJCAI 2021. He also serves as Chair of CCF-AI, and was Chair of the IEEE CIS Data Mining Technical Committee. He is foreign Member of the Academy of Europe and Fellow of ACM, AAAI, AAAS, IEEE, IAPR, CCF and CAAI.

Professor Zhi-Hua Zhou MAE
(Nanjing University, China)

Invited Tutorial Speakers

Professor James Davenport (University of Bath, UK)

Professor Ilias S. Kotsireas (Wilfrid Laurier University, Canada)

Invited Track Speakers

Dr. Xiaoyu Chen (Beihang University, China)

Dr. Cezary Kaliszyk (University of Innsbruck, Austria)

Dr. Guoliang Li (Tsinghua University, China)