CMAT - ALC meeting 2022

Programme

09:20 Welcome and opening

09:30 - 10:20, Maria de Lurdes Teixeira, Why do we study finite semigroups?
10:20 - 10:40, Bruna Calisto, Formalization in Coq of the Standardization Theorem for Lambda-calculus
10:40 - 11:00 Filipa Mendes,  Variations on the call-by-value lambda-calculus

11:00 - 11:30 Coffee Break

11:30 - 12:00 Maria Antónia Forjaz, António Mário Almeida and Jorge Pamplona, Vale das 7 Fontes: a motto to talk about Science
12:00 - 12:30 Cláudia Mendes-Araújo, Suzana Gonçalves, Carlos Freitas, Amicable and Ludic Cryptography - ALC at NEI
12:30 - 13:00 Rui Ralha, Linear algebra in Data Science

13:00 - 15:00 Lunch

15:00 - 15:30 Yulin Zhang, Inseparable Gershgorin discs and the existence of conjugate complex eigenvalues of real matrices
15:30 - 16:00 Luís Pinto, A coinductive approach to proof search
16:00 - 16:30 Conceição Nogueira, The overlap gap between left-infinite and right-infinite words

16:30 - 17:00 Coffee Break

17:00 - 17:30 Catarina Sousa, Proof search in natural deduction: towards human-centered theorem proving
17:30 - 18:00 Pedro Patrício, From Brown-McCoy to orthogonality