General Information

The Conferences on Intelligent Computer Mathematics (CICM) brings together researchers working in the intersection of Mathematics, Computer Science, and Artificial Intelligence. CICM 2008 combine three of the leading events in the area:
  • the International Conference on Artificial Intelligence and Symbolic Computation - AISC,
  • the Symposium on the Integration of Symbolic and Mechanized Reasonings - Calculemus, and
  • the International Conference on Mathematical Knowledge Management - MKM
as well as a range of complementing workshops and a doctoral programme.

Supported by: