Programme
The Book of Abstracts (in pdf format) is a available
here.
Schedule
- 09:20 - 09:30 · Welcome and Opening
- 09:30 - 10:30 · Invited Talk · Rui Barbosa, Partial algebraic structures and the logic of quantum computation
- 10:30 - 11:00 · Rui Ralha, The Perron vector versus Pareto efficient vectors in AHP
- 11:00 - 11:30 · Coffee Break
- 11:30 - 11:50 · André Mendes, Machine learning applied to the quantum circuit layout problem
- 11:50 - 12:10 · Ana Lopes, Computer-assisted proofs for matrix identities through Gröbner bases
- 12:10 - 12:30 · Hugo Martins, Partial classical propositional logic
- 12:30 - 13:00 · Outreach Talk · Edite Felgueiras, Fábio Faria, Ana Carvalho and Maria Antónia Forjaz, Lights, Camera, ... Science! Promoting science through a film festival
- 13:00 - 14:45 · Lunch Break
- 14:45 - 15:15 · Faustino Maciala, Drazin inverse of some graph matrices
- 15:15 - 15:45 · Filipa Mendes, The logical essence of compiling with continuations
- 15:45 - 16:15 · Viviani Spreafico and Paula Catarino, On a model of generalized (k;p;s)-Padovan-Perrin sequences
- 16:15 - 16:45 · Coffee Break
- 16:45 - 17:15 · José Carlos Costa, Asymptotic behavior of the overlap gap between left-infinite and right-infinite words
- 17:15 - 17:45 · Pedro Patrício, A note on tensor equations
- 17:45 · Closing
