Tenth International Conference on Artificial Intelligence and Symbolic Computation, Paris, France

The Tenth International Conference on Artificial Intelligence and Symbolic Computation will be held in Paris, France on 5 and 6 July 2010.

Artificial intelligence (AI) and symbolic computation (SC) are two views and approaches for automating problem-solving. They are based on heuristics and on mathematical algorithms, which make the approaches specially interesting for mathematical problem-solving. The combined use of artificial intelligence and symbolic computation leads to a wealth of challenges, ideas, theoretical insights and result.

While advanced software technology and system design are needed, a broad spectrum of applications is made possible by the combined problem solving power of the two fields.

Topics to be covered by the conference include:
- AI in symbolic mathematical computing,
- computer algebra systems and automated theorem proving,
- 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.For further information, please visit:
http://cicm2010.cnam.fr/aisc/index.html(opens in new window)