CMAT - ALC meeting 2021
December 20, 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