Talks
- TBA, Invited Speaker PhD Colloquium, Colloquium Logicum, Vienna, 8 - 9 October 2024.
- On the Logical Instability of Mathematical Theories, Bergen Logic Group Seminar, University of Bergen, 10 May 2022.
- On the logical structure of constructive set theories, Logic4Peace, 23 April 2022.
- On the logical structure of constructive set theories, Logic Seminar, Department of Philosophy, Peking University, 8 March 2022.
- Should Pluralists be Pluralists about Pluralism?, British Logic Colloquium PhD Day, Durham University, 1 September 2021 (conference).
- Logical Pluralism and Meta-Logic, Bergen Logic Group Seminar, University of Bergen, 19 February 2021.
- Converse Extensionality and Apartness, STiHAC Seminar, Hamburg-Amsterdam-Cambridge, 28 January 2021.
- Converse Extensionality and Apartness, Categories and Types Seminar (CATS), ILLC, University of Amsterdam, 10 December 2020 (seminar).
- Logics of Intuitionistic Kripke-Platek Set Theory, DMV Annual Meeting 2020, TU Chemnitz, 16 September 2020.
- Apartness in Constructive Set Theory, Forschungsseminar Mathematische Logik, University of Hamburg, 15 April 2020 and 22 April 2020.
- De Jongh’s Theorem for Intuitionistic Zermelo-Fraenkel Set Theory, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Barcelona, Spain, 13-16 January 2020 (conference).
- De Jongh’s Theorem for Intuitionistic Zermelo-Fraenkel Set Theory, DMV-Jahrestagung 2019, Sektion: Logik und Theoretische Informatik, Department of Mathematics (MATH), Karlsruhe Institute of Technology (KIT), 25 September 2019 (conference).
- E-models of IZF and intuitionistic multiverses, Joel David Hamkins in Amsterdam 2019, ILLC, University of Amsterdam, 11 May 2019 (workshop).
- The de Jongh Property for bounded constructive Zermelo-Fraenkel set theory, TULIPS – The Utrecht Logic in Progress Series, Utrecht University, 5 March 2019 (seminar).
- Constructing illoyal algebra-valued models of set theory, SYSMICS 2019, Amsterdam, 21-25 January 2019 (conference).
- Logical aspects of algebra-valued models of set theory, Algebra|Coalgebra Seminar, ILLC, University of Amsterdam, 19 December 2018 (seminar/abstract).
- The de Jongh Property for a Subtheory of CZF, Oberseminar mathematische Logik, University of Bonn, 6 November 2018 (seminar/abstract).
- The Propositional Logic of Models of Set Theory, Colloquium Logicum 2018, 15 September 2018 (conference).
- Heyting structures: Loyalty, faithfulness and an application to the de Jongh property, Forschungsseminar Mathematische Logik, University of Hamburg, Germany, 7 May 2018 (abstract, seminar).
- Constructing models of constructive or intuitionistic set theory from classical models of set theory, Categories Seminar, University of Cambridge, United Kingdom, 13 February 2018 (abstract).
- Surreal Numbers, Set Theory Seminar, University of Cambridge, United Kingdom, 31 January 2017 (abstract).
- One Axiom to Rule Them All, Cool Logic Seminar, ILLC, University of Amsterdam, The Netherlands, 4 November 2016 (abstract).
Outreach
- Ist “Unendlich” eine Zahl?, Online KinderCollege, DHBW Karlsruhe, Germany, 21 October 2020 (flyer).