ABOUT THE CONFERENCE SERIES
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.
GENERAL CHAIRS
Jacques Calmet (Karlsruhe Institute of Technology, Germany)
Dongming Wang (Beihang University, China & CNRS, France)
PROGRAM COMMITTEE CHAIR
Jacques Fleuriot (University of Edinburgh, UK)
SCOPE
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.
CALL FOR PAPERS
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
 Crossdisciplinary 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 computeraided geometric design
 Computer algebra systems and automated theorem provers
 Computerbased 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

SPECIAL TRACK ON INTELLIGENT DOCUMENTS
TRACK CHAIR
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

Contentbased knowledge retrieval

Intelligent tutoring and interactive exercises

Adaptive learning model and systems
SPECIAL TRACK ON COLLECTIVE INTELLIGENCE
TRACK CHAIRS
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
IMPORTANT DATES
 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
 Cameraready submission: July 11, 2018
 Early registration deadline: August 18, 2018
 Conference taking place: September 1619, 2018
SUBMISSIONS
Original research papers in English, including experimental work and work in progress, are welcome. The following two types of submissions are invited.
 REGULAR paper: maximum 15 pages.
 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: “SHORTMT: …title…” or “REGULARST: …title…” The 2part tag is in the same line as the title. The Track tag is mainly a hint to the PC and nonbinding 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.
PUBLICATIONS
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 1015 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 postconference special issues of some journal.
