ALC Meeting 2024

Book of Abstracts

The Book of Abstracts (in .pdf format) is a available here.

Schedule

The meeting takes place at Friday, 20 December 2024.

09:15 - 09:20 · Welcome and Opening

09:20 - 10:20 · Invited Talk · Enide Andrade, Graph Partition in l_1-norm and Fiedler Theory

10:20 - 10:40 · Miguel Alves, On the mechanisation of a fragment of the simply-typed lambda-calculus and its sequent calculus counterpart

10:40 - 11:10 · Coffee Break

11:10 - 11:50 · Rui Ralha, Scratching the surface of ChatGPT

11:50 - 12:10 · Carlos Freitas, Semigroups of transformations with an invariant set

12:10 - 12:30 · Ricardo Silva, Non-Classicality of QRF Transformations in Spekkens' Stabilizer Toy Theory

12:30 - 14:15 · Lunch Break

14:15 - 14:45 · Eudes Costa, Paula Catarino and Elen Spreafico, On the Incomplete Edouard and Incomplete Edouard-Lucas Numbers

14:45 - 15:15 · Angelos Bampounis, Matchgate hierarchy: Deterministic gate teleportation in matchgate circuits

15:15 - 15:45 · Pedro Patrício, EP products using Morita contexts

15:45 - 16:20 · Coffee Break

16:20 - 16:50 · René Gazzari, Dealing with Fictional Numbers

16:50 - 17:30 · Robert E. Hartwig, My mathematical life

17:30· Closing