[DL] CICM 2025: 4th Announcement and Call for Papers with deadline extension

[Serge Autexier]

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

            CICM 2025 Fourth Announcement and Final Call for Papers

                      *** DEADLINES EXTENDED BY ONE WEEK ***
 
              18th Conference on Intelligent Computer Mathematics
                                 - CICM 2025 -
                               6-11 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. The CICM 2025 invited speakers are:

* Fabian Huch, Technische Universität München (TUM)
* Assia Mahboubi,  INRIA, Nantes 
* Daniele Nantes Sobrinho, University of Brasilia (UnB) 
* Josef Urban, Czech Institute of of Informatics, Robotics and Cybernetics (CIIRC)  

The joint invited speaker with LFSA 2025 will be:
* Temur  Kutsia, Research  Institute for  Symbolic Computation  (RISC), Johannes
  Kepler University

*** 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:              May 5, 2025 (extended)
- Full paper deadline:            May 12, 2025 (extended)
- Reviews sent to authors:        June 16, 2025
- Rebuttals due:                  June 20, 2025
- Notification of acceptance:     July 4, 2025
- Camera-ready copies due:        July 18, 2025
- Conference:                     October 6-11, 2025

Doctoral programme applications
- Submission deadline:            TBA
 
 
*** Submissions ***   
 
All submissions should be made via EasyChair at

https://easychair.org/my/conference?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.

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