
SCOPE
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 theorem proving,
 automated reasoning,
 formal mathematics,
 mathematical knowledge management,
 algorithmic invention and learning,
 logic,
 software technology,
 language and system design,
 implementation and performance issues,
 semantic web technology,
 computerbased math teaching and didactics,
 computersupported publishing,
 language and system design,
 implementation and performance issues,
 any topics related to the above.
 
We encourage researchers working in any of these fields to
share their views, work, and results by submitting papers and taking
part in the conference.
