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-19 will be held in Ljubljana, Slovenia, September 21-25, co-chaired by Adam Naumowicz and Martina Seidl, and organized by Katja Berčič
  • CICM-20 will be held in Erlangen, Germany, July 19-23, 2027, co-chaired by Marijn Heule and Wolfgang Windsteiger, and organized by Michael Kohlhase

    		•
Privacy policy and legal information
Last modified: July 16 2026 16:58:19 CEST