You must enable JavaScript to use this site
  • The Conference on Intelligent Computer Mathematics (CICM) is an organization and a conference dedicated to promoting the advancement of machine-supported reasoning, computation, and knowledge management in Science, Technology, Engineering, and Mathematics. CICM is the result of convergence of various research communities that organize a joint annual conference in which they are represented as conference tracks:  Artificial Intelligence and Symbolic Computation (AISC), CALCULEMUS,  Digital Mathematical Libraries (DML), and  Mathematical Knowledge Management (MKM). This is the CICM home page.

    Next Meeting:

  • CICM-11 will be in 2018 at RISC in Hagenberg (Linz, Austria) chaired by Florian Rabe and organized by Wolfgang Windsteiger.
Last modified: August 02 2017 12:34:29 CEST