You must enable JavaScript to use this site
  • The 13th Conference on Intelligent Computer Mathematics (CICM 2020)

    Due to the COVID-19 pandemic, CICM 2020 is held as a virtual conference.
    Participation is free of charge, but registration is required.
    The programme and the proceedings are online now.


    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 add workshops and a doctoral pogramme:

    The Call for Papers can be downloaded in plain text format.

    Invited Speakers

    CICM 2020 Proceedings (Springer LNAI)

    • Intelligent Computer Mathematics, 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, Christoph Benzmüller and Bruce Miller (eds.), Lecture Notes in Artificial Intelligence, vol. 12236, Springer, Cham, 2020.


    CICM conference series

    • Previous CICM conferences are listed here
    • Previous CICM proceedings are available here

    CICM proceedings are published by Springer in the LNAI subseries of LNCS.

    Lecture Notes in Artificial Intelligence
  • News

    • 301 registrations
    • Proceedings online
    • Registration form online
    • Programme online
    • Proceedings in print
    • Final papers received
    • Accepted papers online
    • Notifications sent out
    • Decision phase completed
    • Rebuttal phase completed
    • Reviews sent out
    • Reviewing phase completed
    • Submission (main) closed
    • Cfp third round
    • Deadline extension
    • Cfp second round
    • Invited keynotes complete
    • Springer LNCS proceedings
    • Cfp first round
    • Dates online
    • Calls online
    • Invited speakers
    • PC online
    • Initial website online
Privacy policy and legal information
Last modified: August 11 2020 15:47:45 CEST