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-10 will in Edinburgh chaired by Herman Geuvers and organized by Jacques Fleuriot
Welcome to the
Conference on Intelligent Computer Mathematics
Last modified: December 24 2016 10:42:56 CET