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

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)

Talk Title and Abstract

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)

Talk Title and Abstract

Chee K. Yap is Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University. He has published over 190 papers in computational geometry, computer algebra, robotics, visualization and complexity theory. His book "Fundamental Problems of Algorithmic Algebra" (Oxford Press 2000) is widely cited in algebraic computation. He has a double BS degree in Computer Science and Mathematics from MIT (1972-75), a PhD in Computer Science from Yale (1975-80) under Richard Lipton. He is a winner of the Lester R. Ford Award and has won the Best Paper Award of the conference RSS 2013. He has served on editorial boards of SIAM Journal of Computing, Journal of Symbolic Computation, Algorithmica, JCSS, IJCGA, CGTA and MCS. Recently, he was conference chair of ISSAC 2017 and ICMS 2014.

Professor Chee K. Yap
(New York University, USA)

Talk Title and Abstract

Invited Tutorial Speakers

Professor James Davenport (University of Bath, UK)    Talk Title and Abstract

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

Invited Track Speakers

Dr. Xiaoyu Chen (Beihang University, China)    Talk Title and Abstract

Dr. Cezary Kaliszyk (University of Innsbruck, Austria)    Talk Title and Abstract