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: Calculemus, Digital Mathematical Libraries (DML), and Mathematical Knowledge Management (MKM). This is the CICM home page.

    Next Meeting:

  • CICM-14 (CICM 2021) will be held during July 26-31, 2021 in Timisoara, Romania, co-chaired by Fairouz Kamareddine and Claudio Sacerdoti Coen, and organized by Madalina Erascu.
Privacy policy and legal information
Last modified: January 27 2021 15:03:13 CET