Contradictions without negation and a proof-theoretic understanding of connexive logics,
July 2025, ASL Logic Colloquium 2025, TU Wien, Vienna.
Contradictory Logics are Queer Feminist Logics,
June 2025, Trends in Logic XXV, Institute for Philosophical Research of UNAM, Mexico City.
May 2025, Logica 2025, Department of Logic, Academy of Sciences of the Czech Republic.
Problems and consequences of bilateral notions of (meta-)derivability,
March 2025, LLAL@GSIS Workshop (VI), Tohoku University, Sendai, Japan.
Sense and denotation in systems for proofs and refutations,
March 2025, A Kyoto-Taipei Workshop on Logic of Agent, Kyoto University, Japan.
Feminist logic(s): Potentials, challenges and the case of contradictions,
February 2025, True Contradictions: A Workshop with Graham Priest, Goethe University Frankfurt, Germany.
Mapping the Landscape of Logical Bilateralism,
February 2025, 5th Symposium on Proof-theoretic Semantics, Institute of Philosophy, School of Advanced Study, University of London.
Feminist logic(s): Potentials, challenges and the case of contradictions,
December 2024, Logic and Feminism, University of Bergen, Norway.
Queer feminist logic & contradictory logics: A symbiotic relationship,
October 2024, Feminist Analytic Philosophy, TU Dortmund, Germany.
Feminist logic(s): Possibilities and the case of contradictions,
September 2024, German Congress for Philosophy University of Münster.
Queer feminist views on contradictory logics: A symbiotic relationship,
September 2024, 9th Workshop on Connexive Logics, co-located with NCL'24 in Łódź, Poland.
Contradictions without Negation: a bilateralist account of non-trivial inconsistent logics,
August 2024, 4th Symposium on Proof-theoretic Semantics at ESSLLI 2024, KU Leuven, organized by the PPLV group @University College London.
Obstacles of a truly bilateral sequent calculus,
June 2024, Logic Colloquium 2024, University of Gothenburg, Sweden.
Bilateral Derivability: How to Implement (Constructive) Notions of Proof and Refutation in a Sequent Calculus (invited),
April 2024, Proofs, Rules, and Meanings, University of St Andrews.
The obstacles of a bilateral sequent calculus (invited),
December 2023, Proof-Theoretic Semantics and Truth, University of Bristol.
Proofs and refutations are the same (and yet different) (invited),
September 2023, 3rd Symposium on Proof-theoretic Semantics @ TABLEAUX 2023, Czech Technical University in Prague, Organized by the PPLV group @University College London.
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations,
June 2023, Logica 2023, Department of Logic, Academy of Sciences of the Czech Republic.
‘Bad’ reductions, paradoxes and the meaning of proofs (invited),
November 2022, 2nd Symposium on Proof-theoretic Semantics, University College London.
‘Bad’ reductions, paradoxes and the meaning of proofs,
September 2022, Logica 2022, Department of Logic, Academy of Sciences of the Czech Republic.
Why Ekman-reduction is no reduction (and therefore Ekman’s paradox is no paradox),
September 2022, PhDs in Logic XIII, University of Turin.
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for 2Int (invited),
August 2022, XI Workshop on Philosophical Logic, Argentinean Society of Philosophical Analysis (SADAF), Buenos Aires.
How to secure uniqueness of logical connectives in bilateralism (or multilateralism) (invited), Explanatory Inference Seminar,
January 2022, Institut supérieur de philosophie, UCLouvain.
On the distinctions between sense vs. denotation and identity vs. synonymy of proofs (invited, online),
January 2022, Celebrating the World Logic Day - 2022: The meaning of proofs, University College London. (Slides)
Bilateralism, logical consequence, and uniqueness of logical connectives,
November 2021, 25th Oxford Graduate Philosophy Conference, University of Oxford.
Reduction procedures and the meaning of proofs (invited),
October 2021, Seminar on Applied Mathematical Logic, Department of Logic, Czech Academy of Sciences, Prague.
What are good reduction procedures? Perspectives from proof-theoretic semantics and type theory (online),
June 2021, AAL 2021 - Annual Conference of the Australasian Association for Logic, University of Queensland and the University of Melbourne.
What is the meaning of proofs? A Fregean distinction in proof-theoretic semantics,
January 2020, Thirteenth Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, St John's College, Cambridge.
Uniqueness of logical connectives in a bilateralist setting (invited),
December 2019, Paris-Bochum-Moscow Workshop in Mathematical Philosophy, École normale supérieure, Paris.
The meaning of proofs in different proof systems,
April 2019, PhDs in Logic XI, Bern, Institut für Exakte Wissenschaften.
The meaning of proofs in different proof systems,
March 2019, Proof-Theoretic Semantics: Assessment and Future Perspectives, Third Tübingen Conference on Proof-Theoretic Semantics, Eberhard Karls University Tübingen.
Proof-theoretic semantics and paradoxes: Distinguishing non-standard phenomena in sequent calculus,
Mai 2018, PhDs in Logic X, Institute for Philosophy of the Czech Academy of Sciences, Prague.
Photo by Greg Restall, RUB, 2022