CICM 2025 Announcement and Call for Papers      

18th Conference on Intelligent Computer Mathematics
  - CICM 2025 -
6 - 10 October 2025
Brasilia, Brazil 
http://www.cicm-conference.org/2025

----------------------------------------------------------------------------------------

More and more mathematical information is digitally processed, generated, communicated,
stored, and curated. 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.
Besides the CICM main program soliciting formal CICM submissions there will be
associated workshops with separate submission options.

We are inviting formal submissions on all topics relating to intelligent computer
mathematics, in particular, but not limited to

  * theorem proving and computer algebra
  * mathematical knowledge management
  * digital mathematical libraries

A comprehensive but not exhausting list of topics of interest can be found on
the conference website:
  https://cicm-conference.org/2025/cicm.php?event=&menu=topics

The program committee is chaired by Valeria de Paiva, Berkeley and Peter Koepke, Bonn.

*** Formal Paper Submissions ***

Formal submissions in one of the following categories will be reviewed rigorously and
accepted papers will be  published in a volume of Springer LNAI:

  * regular papers (up to 15 pages + bibliography) present novel
    research results
   
  * project and survey papers (up to 15 pages + bibliography)
    summarize existing results
 
  * system and dataset descriptions (4 to 5 pages + bibliography)
    present digital artifacts

*** Doctoral Symposium: Two-Page Abstracts***

The doctoral program provides PhD students a forum to present early
results to receive constructive feedback and mentoring. To attend,
submissions of two-page abstracts are expected in which the focus and
research questions of the expected PhD theses are described; details
on completed research tasks and remaining research plans should be
given. In addition to these abstract, a two-pages CV of the applicant
should also be submitted, detailing background information (name,
university, supervisor), education (sought degree, previous degrees),
employments and relevant research experience (publications, attended
conferences/workshops).

The doctoral program will be chaired by Claudia Nalon, UnB Brasilia,
and Marcelo Finger, USP Sao Paulo. Further details on the program 
will be announced on the CICM 2025 website.
  
*** Important Dates ***

Formal submissions
  - Abstract deadline:              April 28, 2025, May 5, 2025 May 12, 2025 (extended) 
  - Full paper deadline:            May 5, 2025, May 12, 2025 May 19, 2025 (extended)
  - Reviews sent to authors:        June 16, 2025 June 30, 2025
  - Rebuttals due:                  June 20, 2025 July 5, 2025
  - Notification of acceptance:     July 4, 2025 July 16, 2025
  - Camera-ready copies due:        July 18, 2025 July 28, 2025
  - Conference:                     October 6-11, 2025

Doctoral programme applications
  - Submission deadline:            August 15, 2025
 

*** Submissions ***   

All submissions should be made via EasyChair at
https://easychair.org/conferences/?conf=cicm2025
using the Springer LNCS style files
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
If software or data is relevant to a paper, a link that provides access
to the software/data must be provided to enable reproduction of results.

*** Best Papers ***

CICM 2025 honors the best paper and best student paper with respect
to reviews and program committee discussions with an award.

------------------------------------------------------------------------