Talks

Invited

September 2025. On the strength of paraconsistent arithmetic. 2nd Workshop on Contradictory Logics, Ruhr University Bochum.
November 2024. Classes in HYPE. Seminar on Mathematical logic. University of Lisbon.
December 2023. Aboutness preserving conditionals on HYPE: semantics and proof systems. Truth and Proof-theoretic Semantics Conference, Bristol, UK.

Contributed (selection)

June 2025. Non-well-founded classes in hyperuniverses. PLEXUS-KCL-SNS Logic Workshop, London, UK.
March 2025. Non-well-founded classes in hyperuniverses. Bristol-KCL Logic Meeting, Bristol, UK.
September 2024. Classes in HYPE. British Logic Colloquium 2024, Birmingham, UK.
September 2024. Paraconsistent arithmetic and recapture. Wormshop 2024, Ghent, Belgium.
August 2024. What’s the HYPE about hyperintensional logics? Fine-grained criteria for hyperintensionality. XIII Workshop on Philosophical Logic, SADAF-CONICET, Buenos Aires, Argentina.
June 2024. What’s the HYPE about hyperintensional logics? Fine-grained criteria for hyperintensionality. 1st SNS-KCL Logic and Philosophy of Mathematics Meeting, Pisa, Italy.
April 2024. Abstraction, extensionality and hyperintensionality. MCMP WIP Seminar, Munich, Germany.
November 2023. Restricted quantification conditionals in HYPE (with an application to vagueness and truth). Workshop on
Truth, Vagueness and Semantic Indeterminacy, Turin, Italy.
November 2023. What’s the HYPE about hyperintensional logics? Fine-grained criteria for hyperintensionality. Bristol-KCL logic meeting, Bristol, UK.
September 2023. HBST (HYPE Basic Set Theory): a hyperintensional approach to alternative foundations of mathematics. NCMX Symposium (Online, cancelled).
June 2023. Strong condiitonals for paraconsistent arithmetics: comparisons in proof-theoretic strength. ASL Logic Colloquium, University of Milan, Italy.
June 2023. What are conditionals all about? Two conditionals for exact and inexact truthmaker semantics, with applications (with Simone Picenni). Truthmaker Semantics and Related Approaches, NYU Florence, Italy.
May 2023. Strong conditionals for non-classical naïve set theory: a comparison. PLEXUS Inaugural conference, University of Lisbon, Portugal.
September 2022. Symmetry, locality and hyperintensionality. PhDs in Logic XIII, University of Turin, Italy.
August 2022. Symmetry, locality and hyperintensionality. Truthmaking, Semantical Grounding and Paradoxes, University of Bristol, UK.
August 2022. Symmetry, locality and hyperintensionality. ESSLLI 2022, NUI Galway, Ireland (Online).
June 2022. Symmetry, locality and hyperintensionality. ASL Logic Colloquium, University of Reykjavik, Iceland.
June 2022. Naïve set theory in HYPE. SILFS Postgraduate Conference, University of Milan Bicocca, Italy.
September 2021. Naïve comprehension in HYPE. SoPhiA 2021, Salzburg, Austria (Online)
July 2021. Naïve comprehension in HYPE. MCMP Summer School for Female Students, Munich, Germany (Online).
June 2021. Naïve comprehension in HYPE. Australasian Association for Logic Conference (Online).
June 2021. Naïve comprehension in HYPE. HSE Formal Philosophy Conference, Moscow, Russia (Online)
January 2021. Naïve comprehension in HYPE. World Logic Day, Sociedad Peruana de Epistemologia y Lógica (Online).