CMAT - ALC meeting 2021

Programme

09:20 Welcome and opening

09:30 - 10:20, Rui Ralha, Eigenvalues and eigenvectors: history, algorithms and applications
10:20 - 10:40, Bruna Calisto, A Proof of the Standardization Theorem in the lambda-Calculus
10:40 - 11:00 Catarina Sousa,  Minimal Quantum Logic: a brief comparison with Classical Logic

11:00 - 11:30 Coffee Break

11:30 - 12:00 Carla Ferreira, Eigenstructure of Wilkinson test matrices
12:00 - 12:30 Maria Antonia Forjaz, Addressing a geological conjecture as a Quadratic Eigenvalue Problem
12:30 - 13:00 Suzana Goncalves, Maximal subsemigroups of infinite symmetric groups

13:00 - 15:00 Lunch

15:00 - 15:30, Yulin Zhang, A TP matrix comes from Bernstein basis
15:30 - 15:50, Maria Merceana Pereira, Science Communication at the Military Museum of Porto
15:50 - 16:10, Anderson Beraldo-de-Araujo, A postulative proof calculus
16:10 - 16:30, Angelos Bampounis, Matchgate circuits with magic resources for universal quantum computation

16:30 - 17:00 Coffee Break

17:00 - 17:30, Jose Carlos Espirito Santo, Introduction to orthologic
17:30 - 18:00, Pedro Patricio, Stabilizer Formalism for Error Correction