Talks

Talks (Selection)

• 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.

• Reduction procedures and the meaning of proofs (online, invited),
  October 2021, The Logic Supergroup - Early Career Researcher Workshop.

• Bilateralism, logical consequence, and uniqueness of logical connectives,
  October 2021, PhD-Konferenz: Open Minds XV, University of Manchester.

• Bilateralism, logical consequence, and uniqueness of logical connectives (online, invited),
  Buenos Aires Logic Group - 10th Workshop on Philosophical Logic, August 2021, University of Buenos Aires.

• Reduction procedures and the meaning of proofs (invited), Łódź-Bochum Workshop, July 2021, Ruhr University Bochum and University of Łódź.

• What are good reduction procedures? Perspectives from proof-theoretic semantics and type theory (online),
  AAL 2021 - Annual Conference of the Australasian Association for Logic, June 2021, University of Queensland and the University of Melbourne.

• Uniqueness of logical connectives in a bilateralist setting,
  Logic in Bochum VI, December 2020, Ruhr University Bochum.

• What is the meaning of proofs? A Fregean distinction in proof-theoretic semantics,
  Thirteenth Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, January 2020, St John's College, Cambridge.

• Uniqueness of logical connectives in a bilateralist setting (invited),
  Paris-Bochum-Moscow Workshop in Mathematical Philosophy, December 2019, École normale supérieure, Paris.

• The meaning of proofs in different proof systems,
  PhDs in Logic XI, April 2019, Bern, Institut für Exakte Wissenschaften.

• The meaning of proofs in different proof systems,
  Proof-Theoretic Semantics: Assessment and Future Perspectives, Third Tübingen Conference on Proof-Theoretic Semantics, March 2019, Eberhard Karls University Tübingen.

• Proof-theoretic semantics and paradoxes: Distinguishing non-standard phenomena in sequent calculus,
  PhDs in Logic X, Mai 2018, Institute for Philosophy of the Czech Academy of Sciences, Prague.