The 16th Conference on Intelligent Computer Mathematics (CICM 2023)

Fraudster targeting CICM

Some of us have received emails from an alleged travel agent asking for information from CICM attendees. These emails have nothing to do with CICM. DO NOT ANSWER CORRESPONDING EMAILS. THIS LOOKS LIKE A SOPHISTICATED FRAUD ATTEMPT.

Objectives

Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas.

The conference addresses research from the following areas, and it usually adds workshops and a doctoral pogramme:

• Calculemus
• Mathematical Knowledge Management (MKM)
• Digital Mathematical Libraries (DML)

Organization

CICM 2023 will take place at Emmanuel College, Cambridge.

• Conference chair: James Davenport (University of Bath, UK)
• Programme co-chairs:
  • Catherine Dubois (ENSIIE, France)
  • Manfred Kerber (University of Birmingham, UK)
• Workshop chair: Florian Rabe (Call for Workshops)
• Doctoral programme chair: Jesús Aransay (Universidad de La Rioja, Spain)
• Publicity chair: Serge Autexier (DFKI Bremen, Germany)

CICM Conference Series

• The CICM conference series is fostered by the CICM organizational structure.
• CICM Steering Committee.
• Previous CICM conferences.
• Previous CICM proceedings.