Vasco Vasconcelos, LASIGE integrated member, delivered a talk “A Connection between Types in Programming Languages and Grammars in Formal Languages”, in the ENSPM26 (National Conference of the Portuguese Mathematical Society), on 2–4 September 2026, Oeiras.

Vasconcelos talked about decision types equivalences into grammars, as there is a close connection between types in programming languages and grammars in formal languages, explaining a paper co-authored by LASIGE researchers Diana Costa, Andreia Mordido and Diogo Poças (former).

Gilda Ferreira, also a researcher at LASIGE, co-organized, with Isabel Oitavem, a thematic session on “Logic and AI: strengths, limits and new frontiers”, dedicated to the relationship between logic, mathematics and artificial intelligence. The session sought to provide a diverse overview of a topic that has been gaining increasing importance, bringing together perspectives from research in logic, mathematics and artificial intelligence, as well as from industry. It featured presentations by Ludwig Krippahl (NOVA-LINCS), “From the logic of neurons to the neurons of logic”; José Santos (Microsoft Core AI), “How did AI learn maths? From predicting the next token to gold at the Olympics,’ Reinhard Kahle (University of Tübingen and NOVAMath), ‘Can AI hack into your bank account?’, and Zita Marinho (IST, formerly of Google DeepMind), ‘How AI is shaping mathematics and how mathematics can shape AI research’.

The ENSPM Conference is a bi-annual gathering point for the mathematical community in Portugal, bringing together researchers, professors (of all levels), students, and professionals from related fields in a unique space for sharing ideas, interdisciplinary dialogue, and collaboration. Organized by the Portuguese Mathematical Society, the event promotes the dissemination of mathematics, as well as the development of its teaching and research, establishing itself as a national reference for the advancement and appreciation of the discipline.