\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

URL:http://www.cicm-conference.org/2020
END:VEVENT
END:VCALENDAR
CICM 2020 i nvites submissions in all topics relating to intel ligent computer mathematics, in particular but not limited to theorem proving and computer algebra, mathematical knowledge management, and digital mat hematical libraries.

\n\nCICM appreciates the varying nature of the relevant research in thi s area and invites submissions of different forms: formal submissions (inclusing regular papers, pro ject and survey papers, and system entries), infor mal submissions (including work-in-progress, proje ct announcements, and position statements), and th e doctoral programme.