The Coq mailing list

[serge.autexier AT dfki.de (Serge Autexier)]

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

           CICM 2025 First Announcement and Call for Papers                   
  
         18th Conference on Intelligent Computer Mathematics
                              - CICM 2025 -
                           October 6–11, 2025
                            Brasilia, Brazil
                  https://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

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


*** Important Dates ***

 Formal submissions
  - Abstract deadline:              April 28, 2025
  - Full paper deadline:            May, 2025
  - 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

*** Submissions ***   

All submissions should be made via EasyChair at

https://easychair.org/conferences/?conf=cicm25

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.

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