Given Seminars
Invited speaker:
(May 2024) Verifiability: an Empirical Account of Meaning, Seminário de Lógica Matemática, FCUL
(Nov. 2023) ω-Reflexive Theories, Seminário de Lógica Matemática, FCUL
(Jul. 2023) 'Provability Implies Provable Provability' using FLINSPACE, TCA 2023, CAR Pocinho
(Feb. 2022) An Introduction to Numeral Completeness, Algebra and Logic Seminar, FCT NOVA
(Dec. 2021) Numeral completeness of S^1_2: Part B, Seminário de Lógica Matemática, FCUL
(Dec. 2021) Numeral completeness of S^1_2: Part A, Seminário de Lógica Matemática, FCUL
(Oct. 2021) k-provability in PA, Logica Universalis Webinar, Springer
(Sep. 2021) Numeral Completeness of Theories of Arithmetic, Doktorandentreff, Technische Universität Darmstadt
(Jul. 2021) Yablo's Paradox Revisited, Celebrating 90 Years of Gödel's Incompleteness Theorems, Carl Friedrich von Weizsäcker-Zentrum, Universität Tübingen. Video here
(Jul. 2021) Numeral Completeness, Celebrating 90 Years of Gödel's Incompleteness Theorems, Carl Friedrich von Weizsäcker-Zentrum, Universität Tübingen. Video here
(Feb. 2021) 90 anos de incompletude, Seminário de Alunos de Matemática, FCT-NOVA
(Feb. 2021) k-provability in PA Carl Friedrich von Weizsäcker-Kolloquium, Universität Tübingen. Video here
(Jan. 2021) 90 anos de incompletude, Mathmasters at DM FCT-NOVA
(Jan. 2021) k-provability in PA Prémio de Lógica Amílcar Sernadas, World Logic Day, IST
(Dez. 2020) Arithmetical Numeral Completeness, Seminário de Lógica Matemática, FCUL
Contributed talks:
(Jan. 2024) General notions of consistency, Days in Logic 2024, IST
(Apr. 2023) 'Provability Implies Provable Provability in FLINSPACE', LYMC2023, Universidade Aberta
(Nov. 2022) ‘Provability Implies Provable Provability’ in FLINSPACE, Proof Society Autumn School and Workshop 2022, Utrecht University
(Jul. 2022) ‘Provability Implies Provable Provability’ in FLINSPACE, Days in Logic 2022, Universidade do Algarve
(Jan. 2020) Adapted Kreisel’s conjecture via reflexion principles on a new provability predicate, Days in Logic 2020, Lisbon
(Dez. 2019) Adapted Kreisel's conjecture via reflexion principles on a new provability predicate, Algebra and Logic Seminar, FCT NOVA
(Nov. 2019) Yablo’s paradox revisited, Circularity in Syntax and Semantics, Gothenburg
(Jul. 2019) Speed-Up of Kreisel's Conjecture Via Reflexion Principles: Two Variations of the Conjecture Gödel's Legacy, Vienna
(Jul. 2019) A Computational Account Of Simplicity With A View Towards Hilbert’s 24th Problem Proof Computation, Complexity 2019, Mittag-Leffler Institute, Djursholm
(Jul. 2019) Kreisel’s Conjecture and Reflexion Principles: Two Variations of the Conjecture 5th International Workshop on Structure and Deduction, Dortmund
(Oct. 2018) A Self-Referential Interpretation of Yablo’s Paradox Using Linear Temporal Logic, Algebra and Logic Seminar, FCT NOVA
(May 2018) Towards an Axiomatic View of Double-Diagonalization: Mathematics and Yablo’s Paradox, Algebra and Logic Seminar, FCT NOVA. This seminar was given for the course “Seminar of Pure Mathematics” of the Master’s in Mathematics with final grade of 20 values
(Apr. 2018) Diagonalization, Algebra and Logic Seminar, FCT NOVA
(Jan. 2018) Diagonalization, Days in Logic 2018, Aveiro
(Aug. 2017) Diagonalization, International Summer School for Proof Theory in First-Order Logic in Funchal, Madeira
(Feb. 2017) Diagonalization, Diagonal Seminar of the New Talents in Mathematics Scholarships. It was presented the work developed in the Scholarship having Professor Reinhard Kahle as tutor
(Jul. 2016) On a Construction of Ockham Algebras, SPM 2016 National Meeting
(Feb. 2016) On a Construction of Ockham Algebras, Diagonal Seminar of the New Talents in Mathematics Scholarships