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

\n\nCICM 2020 Invited Speakers: Kevin Buzzard (Imperial College, London , UK), Catherine Dubois (ENSIIE, CNRS, Evry, Franc e) and Christian Szegedy (Google Research, Mountai n View, CA, USA).

\n\n

URL:http://www.cicm-conference.org/2020
END:VEVENT
END:VCALENDAR
CICM 2020 invites submissions in all topics relating to int elligent computer mathematics, in particular but n ot limited to theorem proving and computer algebra , mathematical knowledge management, and digital m athematical libraries.

\n\nCICM appreciate s the varying nature of the relevant research in t his area and invites submissions of different form s: formal submissions (inclusing regular papers, p roject and survey papers, and system entries), inf ormal submissions (including work-in-progress, pro ject announcements, and position statements), and the doctoral programme.

\n