Artificial Intelligence and Symbolic Computation are two views and
approaches for automating problem solving, in particular mathematical
problem solving. The two approaches are based on heuristics and on
mathematical algorithmics, respectively. Artificial Intelligence can be
applied to Symbolic Computation and Symbolic Computation can be applied to
Artificial Intelligence. 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.
Hence, the conference is in the center of interest and interaction for
various research communities:
artificial intelligence
symbolic computation
computer algebra
automated reasoning
formal mathematics
mathematical knowledge management
automated discovery
machine learning
logic
software technology
semantic web technology
computer-based math teaching and didactics
computer-supported publishing
language and system design
We encourage researchers working at points of contact among these fields to share their views, work, and results by submitting papers and taking part in the conference. Topics of particular interest of the conference include:
AI in Symbolic Mathematical Computing
Computer Algebra Systems and Automated Theorem Provers
Symmetries in AI problems,
Engineering, Industrial and Operations Research Applications
Foundations and Complexity of Symbolic Computation
Mathematical Modeling of Multi-Agent Systems
Implementations of Symbolic Computation Systems
Programming Languages for Symbolic Computation
Symbolic Computation for Expert Systems and Machine Learning
Symbolic Computation and Ontologies
Logic and Symbolic Computing
Implementation and Performance Issues
Intelligent Interfaces
Symbolic Techniques for Document Analysis
Papers on other topics with links to the above research fields and topics will also be welcomed for
consideration.
Conferences in this series are held every two years. The previous nine ones took place in
