Email Gateway (Feb 16 2026 at 18:05): Email Gateway (Feb 16 2026 at 18:05):From: Martina Seidl <Martina.Seidl@jku.at>
19th Conference on Intelligent Computer Mathematics
** CICM 2026 **
September 21 - 25, 2026
Ljubljana, Slovenia
http://www.cicm-conference.org/2026http://www.cicm-conference.org/2026
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.
CICM covers a broad range of areas of interest including:
Applications of proof assistants, theorem provers, machine learning systems,
computer algebra systems
Intelligent computer mathematics in teaching
as well as the traditional track topics previously associated with MKM
(Mathematical Knowledge Management), CALCULEMUS, and DML (Digital
Mathematical Libraries).
In all of the above areas and beyond the CICM conference welcomes
descriptions of non-trivial relevant undertakings including:
The program committee is chaired by
Adam Naumowicz (University of Bialystok, Poland) and
Martina Seidl (JKU Linz, Austria)
* 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 (confirmed):
regular papers (up to 15 pages + bibliography)
present novel research results
project and survey papers (up to 15 pages + bibliography)
summarize/evaluate/compare existing results from the literature
or summarize the overall findings from completed research projects
system and dataset descriptions (4 to 5 pages + bibliography)
present digital artifacts
Furthermore, we invite work-in-progress (presentation-only) papers describing
ongoing research (2 pages plus bibliography). These submissions will undergo
a light-weight review process and will not appear in the Springer proceedings,
although they may be published jointly with the workshop proceedings. PhD
students are particularly encouraged to present early-stage work in order
to receive constructive feedback and mentoring. Accepted presentation-only
papers will be showcased in a dedicated presentation session as well as a
poster session.
* Important Dates *
Formal submissions
- Abstract deadline: March 25, 2026
- Full paper deadline: April 1, 2026
- Reviews sent to authors: May 22, 2026
- Rebuttals due: May 27, 2026
- Notification of acceptance: June 10, 2026
- Camera-ready copies due: July 1, 2026
- Conference: Sept 21 - Sept 25, 2026
Presentation-only Papers
- Submission deadline: June 15, 2026
* Submissions *
All formal submissions should be made via EasyChair at
https://easychair.org/conferences/?conf=cicm2026https://easychair.org/conferences/?conf=cicm2026
using the Springer LNCS style files
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelineshttps://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
If software or data is relevant to the paper, a link that provides access
to the software/data must be provided to enable reproduction of results.
* Best Papers *
CICM 2026 honors the best paper, selected through reviewer assessment
and program committee discussions, with an award.
Last updated: Feb 22 2026 at 05:16 UTC