\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).

CICM 2022 invites submissions in all top ics relating to intelligent computer mathematics, in particular but not limited to * theorem proving and computer algebra * mathematical knowledge man agement * digital mathematical libraries. CICM app reciates the varying nature of the relevant resear ch in this area and invites submissions of differe nt forms: formal submissions, informal submissions , and the doctoral programme.

URL:http://www.cicm-conference.org/2022 END:VEVENT END:VCALENDAR