The Coq mailing list

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

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

               CICM 2025 Second Announcement and Call for Papers      
 
              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.
 
*** 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
- Full paper deadline:            May 5, 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

Doctoral programme applications
- Submission deadline:            TBA
 
 
*** 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.

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