Organized Events
(Apr. 2024) LYMC2024, IST, UL. Conference directed for Postdocs, PhD, and Master students of Lisbon Universities.
(Jul. 2023) TCA 2023, Pocinho, Portugal. Organized the parallel session Logic and Computation
(Jul. 2022) ENSPM2022, Pol. Tomar. Organized the parallel session Young Researchers
(Apr. 2022) LYMC2022, FCUL. Conference directed for Postdocs, PhD, and Master students of Lisbon Universities.
(Jan. 2022) World Logic Day 2022 Portugal, FCT-NOVA. In press:
(Jul. 2021) Celebrating 90 Years of Gödel's Incompleteness Theorems, Carl Friedrich von Weizsäcker-Zentrum, Universität Tübingen. Together with Professor Reinhard Kahle, I will be responsible for two workshops:
Provability Predicates
Diagonalization
(Apr. 2021) LYMC 2021, NovaMath, FCT-NOVA. Conference directed for Postdocs, PhD, and Master students of Lisbon Universities.