The category of many-logics modal logic models
Meeting presentation, Days in Logic, University of Minho, Braga, Portugal
Talks
2026
First Steps in a Paraconsistent Transition Systems Toolkit
Seminar speaker, Logics and Computer Science Group, University of Aveiro, Aveiro, Portugal
2025
An Interface to Modal and Reason with Many-Logics Modal Logic
Seminar speaker, Department of Logic and Methodology of Sciences, University of Lodz, Lodz, Poland
Topological Data Analysis: Because your data has more shape than you think
2024
Symmetries of the Helmholtz Equation
Seminar speaker, Functional Analysis and Applications Group, University of Aveiro, Aveiro, Portugal