Talks 2022 - 2028

Doctoral Programme of the 18th Conference on Intelligent Computer Mathematics (CICM 2025)

I had the opportunity to share early results, work in progress and my research programme in an open and friendly environment. It consisted of a short talk (5 to 7 minutes) followed by a poster presentation. The content of the presentation was closely related to this project, in particular the formalization of an algorithm for anti-unification modulo (Abs C)(Abs)(C). I am extremely grateful to Dr. Valeria de Paiva, an experienced researcher from the research advisory board who was my mentor during the Doctoral Programme. She provided important and detailed advice not just about the project, but also on the life and career of a researcher. The development of this website is one of the outcomes of that valuable interaction.