-------------------------------------------------------------------------------
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 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://topos.institute/
http://www.cs.bham.ac.uk/~vdp/
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
<logica-l@dimap.ufrn.br>
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta conversa, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXv%3DF9ospNYwZCy9vUt5TMrAr5vXU4ro0MtCBoFn_7LR_A%40mail.gmail.com.
