Workshop ALIGN2025 

            18th Conference on Intelligent Computer Mathematics
                                - CICM 2025 -
                             October 6-10, 2025
                               Brasilia, Brazil 
                     http://www.cicm-conference.org/2025

----------------------------------------------------------------------------------------
 ROOM: Auditorium CIC/EST
---------------------------------------------------------------------------------------- 

 
ALIGN2025 

The Workshop on `Math Datasets and Libraries: alignments and comparisons' (ALIGN2025) 
is a half-day workshop on understanding and producing alignments between formal and natural-language 
corpora of mathematics. While the precise definition of “alignment” may vary by use-case,
we take it to mean any systematic correspondence between mathematical expressions,
concepts, theorems, proofs, etc. across different representations—whether between formal
libraries, natural-language texts, or between the two. 

The project of formalization at large could benefit greatly from a deeper understanding 
of why and how we can best create and represent such alignments. A lack of alignment between 
libraries  and misalignment between them  have been identified as key obstacles to
the auto-formalization of mathematics. 

This workshop aims to bring together researchers working to overcome these challenges.
We invite contributions on topics including but
not limited to:

* Identifying, constructing, or improving alignments between different formal libraries,
different NL libraries, or between formal and informal mathematical corpora;

* Developing methods to automatically detect or generate alignments, e.g., using 
machine learning or large language models (LLMs);

* Designing and evaluating techniques to test alignments.

Link: https://sites.google.com/view/align2025/welcome

Important Dates

* Paper submission deadline:  Rolling submissions until September 5th, 2025
* Author notification:  September 8th, 2025
* Workshop: October 9,10th, 2025 


Co-chairs
   Lucy Horowitz, University of California, Berkeley, USA  
   Florian Rabe, University Erlangen-Nuremberg, Germany
   Valeria de Paiva, Topos Institute, USA