13th International Conference on Artificial Intelligence and Symbolic Computation

Home Committee Keynotes Poster Program Registration Accommodation Venue & Travel

For Authors

For Participants

Previous AISCs



The aim of the conference is to provide a forum for the exchange of ideas and the presentation of new tools and solutions. Another goal is to foster personal contacts among researchers from different fields related to AI and Symbolic Computation. The conference is concerned with all aspects of research, including theory, implementations and applications. Conferences in this series are usually held every two years. The previous five ones took place in Sevilla (Spain), Paris (France), Birmingham (United Kingdom), Beijing (China) and Linz (Austria). AISC 2018 will take place in Suzhou, China.


Jacques Calmet (Karlsruhe Institute of Technology, Germany)
Dongming Wang (Beihang University, China & CNRS, France)


Jacques Fleuriot (University of Edinburgh, UK)


Artificial Intelligence and Symbolic Computation are two views and approaches for automating problem solving, in particular mathematical problem solving. The two fields intersect with each other on a large number of underlying problems with respect to symbols. Hence, a wealth of challenges, ideas, theoretical insights and results, methods and algorithms arise in the interaction of the two fields and research communities. Advanced tools of software technology and system design are needed and a broad spectrum of applications is possible by the combined problem solving power of the two fields.


AISC 2018 invites submissions of research papers on topics including, but not limited to:

  • Cognitive modeling and symbolic AI
  • Machine learning and computational intelligence
  • Data modeling and analysis
  • Knowledge representation and symbolic computing
  • Knowledge acquisition, search, verification and interoperation
  • Automated reasoning and knowledge discovery
  • Causal inferences, uncertainty reasoning, and decision support
  • Cross-disciplinary knowledge management
  • Mechanization of mathematics
  • Mechanized program verification and debugging
  • Combining of logics and computations
  • Integration of logical reasoning and computer algebra
  • Symbolic computations for expert systems and machine learning
  • Computer vision and computer-aided geometric design
  • Computer algebra systems and automated theorem provers
  • Computer-based mathematics teaching and didactics
  • Computational creativity and generative art
  • Intelligent user interfaces for computing systems
  • Programming languages and systems for symbolic computation
  • Engineering, industrial and operation research applications
  • Emerging fields of computational AI such as biocomputing and quantum computing



Dongming Wang (Beihang University, China & CNRS, France)

The special track welcomes submissions of research papers on topics including, but not limited to:

  • Semantic representation of documents
  • Formalization and interoperation of domain knowledge
  • Document visualization and interfaces
  • Interactive computation and reasoning with documents
  • Content-based knowledge retrieval
  • Intelligent tutoring and interactive exercises
  • Adaptive learning model and systems



Yongxin Tong (Beihang University, China)
Zimu Zhou (ETH Zurich, Switzerland)

The special track welcomes submissions of research papers on topics including, but not limited to:

  • Human computation and collective intelligence
  • Game theory and crowdsourcing computation
  • Crowdsourcing software engineering
  • Crowdsourcing publishing, reviewing and competition systems


  • Deadline for abstract submission: April 27, 2018
  • Deadline for SHORT/REGULAR paper submission: May 4, 2018 [extended to May 20, 2018]
  • Notification on all papers: June 29, 2018
  • Camera-ready submission: July 11, 2018
  • Early registration deadline: August 18, 2018
  • Conference taking place: September 16-19, 2018


Original research papers in English, including experimental work and work in progress, are welcome. The following two types of submissions are invited.

  1. REGULAR paper: maximum 15 pages.
  2. SHORT paper: maximum 5 pages addressing the following aspects explicitly:
    • Problem: what is the problem/question/objective?
    • Motivation: why do we work on the problem and what is the importance?
    • State of the art: what has been done already on the problem?
    • Contribution: what is the main original contribution?
    • Main idea: what is the main idea underlying the contribution?

All papers must be categorized as SHORT or REGULAR and indicate whether they are being submitted to the Main Track (MT) or Special Track (ST). Paper titles must be tagged as illustrated here: “SHORT-MT: …title…” or “REGULAR-ST: …title…” The 2-part tag is in the same line as the title. The Track tag is mainly a hint to the PC and non-binding on the author or on the PC.

Submissions should follow the standard Springer LNCS Proceedings format. Electronic submission as PDF is required via EasyChair at http://www.easychair.org/conferences/?conf=aisc2018.


All submissions will be formally reviewed by PC members and external referees. Decision on the SHORT paper will be made on a rolling basis, normally about 10-15 days after submission. At least one author of each accepted submission must register at AISC 2018. All accepted SHORT or REGULAR papers will appear in a conference proceedings volume published by Springer in LNCS. In addition, REGULAR papers have the opportunity to be considered for post-conference special issues of some journal.

The online version of AISC 2018 proceedings on SpringerLink is now available at: