AI4Math 2026 Workshop @CICM-2026 - Submission Deadline Extended: 26th of August

== Artificial Intelligence for Math ==

=== Call for Papers ===

Artificial intelligence (AI) is rapidly changing the way we do
mathematics. Recent advances in machine learning, automated theorem
proving, formalization, and mathematical knowledge management have
opened new opportunities for representing, reasoning about, and
discovering mathematics. The pace of development is such that new
results often reach the research community through AI and computer
science venues, where they may not receive sufficient attention from
mathematicians and researchers in intelligent computer mathematics.

The AI4Math Workshop, organized as part of the Conference on
Intelligent Computer Mathematics (CICM 2026)[0], aims to bridge this
gap by bringing together researchers from the communities of
formalization of mathematics with proof assistants, automated theorem
proving, mathematical knowledge management and databases of
mathematical objects, and machine learning for mathematical
reasoning. By fostering interaction between these communities, the
workshop seeks to stimulate collaboration, promote shared benchmarks
and datasets, and advance AI-based methods for formalization,
automated reasoning, and mathematical discovery.

The workshop has two complementary objectives. First, it provides AI
researchers with a forum to present recent advances in applying AI to
mathematics, including ongoing research and emerging ideas. Second, it
offers mathematicians and researchers in intelligent computer
mathematics an opportunity to learn about new AI techniques and
discuss how they can support mathematical research. The program will
include invited talk alongside contributed presentations, with ample
time for discussion and exchange of ideas.

=== Topics ===

Topics of interest include, but are not limited to:

* Formalization of mathematics in interactive proof assistants
* Automated theorem proving and proof automation
* Machine learning for proof search, proof guidance, and theorem proving
* Large language models for formal mathematics
* Neural-symbolic methods for mathematical reasoning
* Mathematical knowledge management
* Databases and repositories of mathematical objects and formal mathematical
  libraries
* AI-assisted formalization and translation between informal and formal
  mathematics
* Representation learning for mathematical objects and theories
* Benchmark datasets and evaluation methodologies for AI in mathematics
* Integration of proof assistants, theorem provers, mathematical databases,
  and AI tools
* AI for mathematical discovery, conjecture generation, and mathematical
  software

We particularly encourage contributions that bridge two or more of these 
research areas and demonstrate how their integration can advance AI-supported 
mathematics.

=== Submission ===

Authors are invited to submit original 2-page abstracts (including references) 
describing completed or ongoing research. Submissions should follow the CICM 
2026 conference formatting guidelines[1] and will be subject to a light, 
single-blind review process. Accepted papers will be presented at the workshop. 
A compilation of the camera-ready PDFs will be published online as informal 
proceedings, so as to not preclude publishing ongoing work later in conference 
proceedings or journals. All submissions should be sent to 
[email protected].

=== Important Dates ===

* Paper submission deadline: 26th of August 2026
* Notification deadline: 31st of August 2026
* Camera-ready version deadline: 14th of September 2026
* Workshop: to be held as part of CICM 2026[0] on Monday, 21st of September 2026

All deadlines are at 23:59 AoE (Anywhere on Earth, UTC−12).

=== Organizers ===

* Ljupčo Todorovski
* David E. Narváez

[0] https://cicm-conference.org/2026/cicm.php
[1] https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines

**********************************************************
*
*   Contributions to be spread via DMANET are submitted to
*
*                   [email protected]
*
*   Replies to a  message carried  on DMANET should NOT be
*   addressed to DMANET  but to  the original sender.  The
*   original  sender,  however,  is invited  to prepare an
*   update  of the replies  received and to communicate it
*   via DMANET.
*
*    DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
*      http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************