[DMANET] 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 ai4math@fmf.uni-lj.si. === 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 * * DMANET@zpr.uni-koeln.de * * 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/ * **********************************************************