AISC 2004
  7th International Conference on
Theory, Implementations and Applications
September 22(We)-24(Fr), 2004,
RISC (Research Institute for Symbolic Computation), Castle of Hagenberg, Austria    
Co-organized by RICAM (Radon Institute for Computational and Applied Mathematics), Linz, Austria

General Info. Submission Registration Program Location



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,
  • computer-based math teaching and didactics,
  • computer-supported 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.

Mail to Web Master