CfP: 19th Conference on Intelligent Computer Mathematics (CICM 2026)
adamn _AT_ math.uwb.edu.pl <[email protected]> Mon, 16 Feb 2026 10:47:50 +0100
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <[email protected]> |
This message is in MIME format.
--=_InGaI4XIu-vg-bf_QTvrYPO
Content-Type: text/plain; charset=utf-8; format=flowed; DelSp=Yes
Content-Description: Plaintext Message
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
19th Conference on Intelligent Computer Mathematics **** CICM 2026=20=20
****=20 September 21 - 25, 2026 Ljubljana, Slovenia=20=20=20
http://www.cicm-conference.org/2026=20=20
-------------------------------------------------------------------=20=20=
=20=20
More=20and more mathematical information is digitally processed,=C2=A0=20=
=20
generated,=20communicated, stored, and curated. CICM brings together the=20=
=20
many=20separate communities that have developed theoretical and=20=20
practical=C2=A0 solutions for mathematical applications such as=20=20
computation,=20deduction, knowledge management, and user interfaces. It=20=
=20
offers=20a venue for discussing problems and solutions in each of these=20=
=20
areas=20and their integration. CICM covers a broad range of areas of=20=
=20
interest=20including: * Formal mathematics * Interactive theorem=20=20
proving=20* Automated theorem proving * Proof systems * Logical and=20=20
mathematical=20languages for mathematical assistant systems *=20=20
Mathematical=20foundations for computer mathematics * Type theory and=20=20
homotopy=20type theory * AI and LLMs in mathematics * Formalization of=20=
=20
mathematical=20theories * Computer algebra systems * Applications of=20=20
proof=20assistants, theorem provers, machine learning systems,=C2=A0 =C2=A0=
=20=20
computer=20algebra systems * Intelligent computer mathematics in=20=20
teaching=20 as well as the traditional track topics previously=20=20
associated=20with MKM=C2=A0 (Mathematical Knowledge Management), CALCULEMUS=
,=20=20
and=20DML (Digital Mathematical Libraries). In all of the above areas=20=
=20
and=20beyond the CICM conference welcomes=C2=A0 descriptions of non-trivial=
=20=20
relevant=20undertakings including: * Implementations, new components=20=
=20
or=20features of existing tools * Exchanges of knowledge and=20=20
collaborations=20across communities * Integrations of existing solutions=20=
=20
*=20Case studies, evaluations and benchmarks * Open challenges and=20=20
unsolved=20practical problems * Experience reports regarding large or=20=20
particularly=20difficult results * Surveys and comparisons * Historic=20=20
overviews,=20current trends, and future challenges The program=20=20
committee=20is chaired by=C2=A0 Adam Naumowicz (University of Bialystok,=
=20=20
Poland)=20and=C2=A0 Martina Seidl (JKU Linz, Austria) *** Formal Paper=20=
=20
Submissions=20*** Formal submissions in one of the following categories=20=
=20
will=20be=C2=A0 reviewed rigorously and accepted papers will be published i=
n=20=20
a=C2=A0 volume of Springer LNAI (confirmed): * regular papers (up to 15=
=20=20
pages=20+ bibliography)=C2=A0 =C2=A0 present novel research results =C2=A0 =
=C2=A0 * project=20=20
and=20survey papers (up to 15 pages + bibliography)=C2=A0 =C2=A0=20=20
summarize/evaluate/compare=20existing results from the literature =C2=A0 or=
=20=20
summarize=20the overall findings from completed research projects *=20=20
system=20and dataset descriptions (4 to 5 pages + bibliography) =C2=A0=20=
=20
present=20digital artifacts Furthermore, we invite work-in-progress=20=20
(presentation-only)=20papers describing ongoing research (2 pages plus=20=
=20
bibliography).=20These submissions will undergo a light-weight review=20=20
process=20and will not appear in the Springer proceedings, although they=20=
=20
may=20be published jointly with the workshop proceedings. PhD=C2=A0 student=
s=20=20
are=20particularly encouraged to present early-stage work in order=C2=A0 to=
=20=20
receive=20constructive feedback and mentoring. Accepted=20=20
presentation-only=C2=A0 papers will be showcased in a dedicated=20=20
presentation=20session as well as a=C2=A0 poster session. =C2=A0=C2=A0 ***=
Important=20=20
Dates=20*** Formal submissions =C2=A0 - Abstract deadline:=C2=A0=C2=A0 =
March=20=20
25,=202026=C2=A0 =C2=A0 - Full paper deadline: April 1, 2026 =C2=A0 =
- Reviews=20=20
sent=20to authors: May 22, 2026 =C2=A0 =C2=A0 - Rebuttals due: =
May=20=20
27,=202026 =C2=A0 - Notification of acceptance:=C2=A0June 10, 2026 =C2=A0 -=
=20=20
Camera-ready=20copies due: =C2=A0 =C2=A0July 1, 2026 =C2=A0 - Conference:=
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=20=20
=C2=A0 =C2=A0Sept 21 - Sept 25, 2026 Presentation-only Papers =C2=A0 - Su=
bmission=20=20
deadline:=20=C2=A0 =C2=A0 =C2=A0 =C2=A0June 15, 2026 =C2=A0 *** Submission=
s *** =C2=A0=C2=A0 All formal=20=20
submissions=20should be made via EasyChair at=20=20=20
https://easychair.org/conferences/?conf=3Dcicm2026 using the Springer=20=20
LNCS=20style files=20=20
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu=
idelines=20 If software or data is relevant to the paper, a link that provi=
des access=C2=A0 to the software/data must be provided to enable reproducti=
on of results. *** Best Papers *** CICM 2026 honors the best paper, sele=
cted through reviewer assessment=C2=A0 and program committee discussions, w=
ith an=20=20
award.
--=_InGaI4XIu-vg-bf_QTvrYPO
Content-Type: text/html; charset=utf-8
Content-Description: HTML Message
Content-Disposition: inline
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html><head><meta http-equiv="content-type" content="text/html; charset=UTF-8"></head><body style="font-family:Arial;font-size:14px"><div class="GroupWiseMessageBody" id="GroupWiseSection_1771232716974_568C178009CC000094650CB975CDF5AD_">
<pre id="isPasted">
19th Conference on Intelligent Computer Mathematics
**** CICM 2026 ****
September 21 - 25, 2026
Ljubljana, Slovenia
<a data-fr-linked="true" href="http://www.cicm-conference.org/2026">http://www.cicm-conference.org/2026</a>
-------------------------------------------------------------------
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:<span style="white-space:pre;"> M</span>arch 25, 2026
- Full paper deadline: April 1, 2026
- Reviews sent to authors: May 22, 2026
- Rebuttals due: May 27, 2026
- Notification of acceptance:<span style="white-space:pre;"> </span>June 10, 2026
- Camera-ready copies due: <span style="white-space:pre;"> </span>July 1, 2026
- Conference:<span style="white-space:pre;"> </span>Sept 21 - Sept 25, 2026
Presentation-only Papers
- Submission deadline: June 15, 2026
*** Submissions ***
All formal submissions should be made via EasyChair at
<a data-fr-linked="true" href="https://easychair.org/conferences/?conf=cicm2026">https://easychair.org/conferences/?conf=cicm2026</a>
using the Springer LNCS style files
<a data-fr-linked="true" href="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines">https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines</a>
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.
</pre>
</div>
<br></body></html>
--=_InGaI4XIu-vg-bf_QTvrYPO--