19 - 23 September 2022, 15th Conference on Intelligent Computer Mathematics (CICM 2022), Tbilisi (Georgia) & Virtual
Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration.
Invited Speakers: Erika Ábrahám (RWTH Aachen University), Deyan Ginev (FAU Erlangen-Nürnberg and NIST) and Sébastien Gouëzel (IRMAR, Université de Rennes 1).
CICM 2022 invites submissions in all topics relating to intelligent computer mathematics, in particular but not limited to * theorem proving and computer algebra * mathematical knowledge management * digital mathematical libraries. CICM appreciates the varying nature of the relevant research in this area and invites submissions of different forms: formal submissions, informal submissions, and the doctoral programme.