The Workshop on Math Datasets: alignments and comparisons (ALIGN2025) will be held in association with CICM2025, which will take place at the University of Brasilia (Brasilia, Brazil), 6-10th October, 2025.
Mathematical knowledge is publicly available in many different formats and languages on the internet, ranging from mathematical English (e.g., Wikipedia) to formal corpora (e.g., Mizar, AFP, Unimath, MathLib, etc.).
We would like to establish machine-based connections between concepts available in these different formats, which we are calling “alignments.” To discover other work along the lines of connecting concepts already extant, we are organizing a workshop associated with CICM called “Alignments.”
Alignments will be a hybrid workshop on aligning mathematical concepts between formal and natural-language (informal) resources. By aligning mathematical concepts, we mean matching up their appearances, descriptions, or instantiations in different bodies of mathematical information so that people can be sure they are reading about, talking about, or using the right concept. Creating and improving alignments would help make the mathematics literature more searchable and accessible, would better enable compatibility between different proof assistants/theorem provers, and would help simplify mathematics in multiple languages. We expect that many people are doing projects related to alignments. We want to provide them with a venue to discuss their various approaches.
How can we be sure that two authors are talking about the same mathematical concept?
What important information is contained in the subtle differences between multiple framings of the same concepts?
When are two theorems the same?
When are two proofs the same?
We invite papers or talks on subjects related to the alignment and disambiguation of mathematical concepts. Please submit an abstract of up to 4 pages via email to lucyhorowitz[at]berkeley.edu, valeria[at]topos.institute, and florian.rabe[at]fau.de.
We are considering a CEUR-WS publication of the papers, so please their latex format, if possible.
Important Dates
Paper submission deadline: Rolling submissions until September 5th, 2025
Author notification: September 7th, 2025
Workshop: 10th October 2025
Organizing Committee
Lucy Horowitz (Berkeley, USA)
Valeria de Paiva (Topos Institute, USA)
Florian Rabe (Erlangen, Germany)