# General Information

Updated conference dates |
---|

## Artificial Intelligence and Symbolic Computation |

## Theory, Implementations and Applications |

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
- Integration of Logical Reasoning and Computer Algebra
- Symmetries in AI problems,
- Engineering, Industrial and Operations Research Applications
- Foundations and Complexity of Symbolic Computation
- Mathematical Modeling of Multi-Agent Systems
- Programming Languages for Symbolic Computation
- Symbolic Computations for Expert Systems and Machine Learning
- Implementations of Symbolic Computation Systems
- 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 seven ones took place in

- Karlsruhe (Germany),
- Cambridge (United Kingdom),
- Steyr (Austria),
- Plattsburgh (USA),
- Madrid (Spain),
- Marseille (France)
- Hagenberg (Austria), and
- Beijing (China).

The first three were under the name "Artificial Intelligence and Symbolic Mathematical Computing (AISMC)".

Proceedings are available from Spinger.