- AI in Symbolic Mathematical Computing
- Computer Algebra Systems and Automated Theorem Provers
- Integration of Logical Reasoning and Computer Algebra
- Engineering, Industrial and Operations Research Applications
- Foundations and Complexity of Symbolic Computation
- Mathematical Modeling of Multi-Agent Systems
- Programming Languages for Symbolic Computation
- Symbolic Computation for Expert Systems and Machine Learning
- Implementations of Symbolic Computation Systems

Papers involving other topics but with significant links to the topics above will also be appropriate.