a

13th International Conference on Artificial Intelligence and Symbolic Computation


Home Committee Keynotes Program Registration Accommodation Venue & Travel

a

For Authors

For Participants

 


Previous AISCs




 

 

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
  • 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 computating 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 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
  • 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

SUBMISSIONS

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.

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 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 LNCS. In addition, REGULAR papers have the opportunity to be considered for post-conference special issues of some journal.