ALC Meeting 2025

Book of Abstracts

A Book of Abstracts (in .pdf format) will be provided.

Schedule

Similarly to previous editions, a lunch at the Campus restaurant Restaurante Panorâmico is being organised. At registration time, participants have the opportunity to express their interest in joining it. Schedule

The meeting takes place at Friday, 19 December 2025.

10:00 - 10:15 · Welcome and Opening

10:15 - 10:45 · Invited Talk · Sophie Marques, Near Linear Algebra

10:50 - 11:15 · Coffee Break

11:15 - 11:45 · José Carlos Costa, The ω-word problem over the pseudovariety of aperiodic block groups

11:50 - 12:20 · Graça Soares, Matrices with hyperbolic J-numerical range

12:25 - 14:30 · Lunch Break and group photo

14:30 - 15:00 · Miguel Alves, On the mechanisation of the multiary lambda calculus and subsystems

15:05 - 15:35 · Filipa Mendes, The logical essence of call-by-name CPS translations

15:40 - 16:10 · Faustino Maciala, Characterization of the Drazin Index for Double Star Digraph Matrices

16:15 - 16:45 · Pedro Patrício, Circulant matrices, t-products and Drazin inverses

16:50 - 17:30 · Coffee Break

17:30· Closing