CICM 2024 Call for Papers

CICM 2024 Call for Papers

[Valeria de Paiva]

[-- Attachment #1: Type: text/plain, Size: 4218 bytes --]

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

           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<https://url.au.m.mimecastprotect.com/s/Jn-JC3QNl1Sp9xQp1sgfLIQ4Hjh?domain=cicm-conference.org>

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

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<https://url.au.m.mimecastprotect.com/s/7r-rC4QO8xSB961BNCxh5I4xrCm?domain=easychair.org>

using the Springer LNCS style files

https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines<https://url.au.m.mimecastprotect.com/s/39oJC5QP8ySZpRGZmFyijIkRZ7-?domain=springer.com>

If software or data is relevant to a paper, a link that provides access to the software/data must be provided to enable the 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.

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

--
Valeria de Paiva
http://vcvpaiva.github.io/<https://url.au.m.mimecastprotect.com/s/-xlBC6XQ68fr0MKr2T5skI587wi?domain=vcvpaiva.github.io/>
https://topos.institute/<https://url.au.m.mimecastprotect.com/s/CPr9C71R63CAVykA5sqtMIoEp9m?domain=topos.institute/>
http://www.cs.bham.ac.uk/~vdp/<https://url.au.m.mimecastprotect.com/s/lyw-C81Vq2C6PQR6VTwuYIyo66j?domain=cs.bham.ac.uk/>




You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 7652 bytes --]