Logic List Mailing Archive

CfP: CICM 2026 – 19th Conference on Intelligent Computer Mathematics, 21–25 September 2026, Ljubljana (Slovenia)

19th Conference on Intelligent Computer Mathematics

**** CICM 2026 ****



September 21 - 25, 2026

Ljubljana, Slovenia



http://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:





* Formal mathematics

* Interactive theorem proving

* Automated theorem proving

* Proof systems

* Logical and mathematical languages for mathematical assistant systems

* Mathematical foundations for computer mathematics

* Type theory and homotopy type theory

* AI and LLMs in mathematics

* Formalization of mathematical theories

* Computer algebra systems

* 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:





* Implementations, new components or features of existing tools

* Exchanges of knowledge and collaborations across communities

* Integrations of existing solutions

* Case studies, evaluations and benchmarks

* Open challenges and unsolved practical problems

* Experience reports regarding large or particularly difficult results

* Surveys and comparisons

* Historic overviews, current trends, and future challenges





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=cicm2026



using the Springer LNCS style files

https://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.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php