\n

Digital a nd computational solutions are becoming the preval ent means for the generation, communication, proce ssing, storage and curation of mathematical inform ation. CICM brings together the many separate comm unities that have developed theoretical and practi cal solutions for mathematical applications such a s computation, deduction, knowledge management, an d user interfaces. It offers a venue for discussin g problems and solutions in each of these areas an d their integration.

\nInvited Speakers: E rika Ábrahám (RWTH Aachen University), Deyan Ginev (FAU Erlangen-Nürnberg and NIST) and Sébastien Go uëzel (IRMAR, Université de Rennes 1).

\n\n

URL:http://www.cicm-conference.org/2022
END:VEVENT
END:VCALENDAR
CICM 2022 invites submissions in all t opics relating to intelligent computer mathematics , in particular but not limited to * theorem provi ng and computer algebra * mathematical knowledge m anagement * digital mathematical libraries. CICM a ppreciates the varying nature of the relevant rese arch in this area and invites submissions of diffe rent forms: formal submissions, informal submissio ns, and the doctoral programme.

\n