Invited Talks
Women in Logic, Lisbon, Portugal, July 2026. link
Workshop on Proof Theory and Algebra, Bern, Switzerland, June 2026.
The Power of Structural Rules: Proof-Size Lower Bounds for Linear Logics, Proof Society Seminar, online, March 2026. Slides
Proof complexity of non-classical systems, A Day of Bounded Arithmetic, Warwick, March 2026. link
AKS primality testing in bounded arithmetic, The Algorithms & Complexity Workshop, Warwick, September 2025. link
Skolemization Beyond Intuitionistic Logic: The Role of Quantifier Shifts, 34th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), September 2025. link
Formalizing the AKS primality algorithm in bounded arithmetic, Proof Complexity Workshop, Oxford, August 2025. link
Admissibility of Visser's rules in intuitionistic modal logics, 7th Workshop on Proof Theory, Modal Logic, and Reflection Principles (Wormshop), Ghent, September 2024. link
From Doubt to Determination: Building Confidence In Your PhD and Beyond, 11th Logic Mentoring Workshop, Tallinn, July 2024. link Slides
Is Every Interpolation Procedure Complete?, Workshop on Craig interpolation and Beth definability (CIBD), Amsterdam, April 2024. link
On Skolemization and quantifier shifts, Oberwolfach Workshop - "Mathematical Logic: Proof Theory, Constructive Mathematics", Oberwolfach, Germany, November 2023.
Uniform Interpolation: A General Scheme, The Czech Gathering of Logicians, Ostrava, Czechia, June 2023. link
Surprising or Predictable? Weak Systems Have Hard Theorems, the tenth Annual IAL Symposium on Logic, Tehran, Iran, February 2023. link
Universal Proof Theory: Constructive Rules and Feasible Admissibility, Workshop “Proof-theoretic and algebraic aspects of (intuitionistic) modal logics”, Utrecht, The Netherlands, November 2022. link
On Proof Forms in Substructural Logics, Workshop on substructural logics, Japan Advanced Institute of Science and Technology (JAIST), Sapporo, Japan, May 2022. link
Uniform Interpolation for Semi-analytic Proof Systems, Workshop on Admissible Rules and Unification III (WARU 2019), Prague, Czechia, May 2019.
International School Tutorials
Bounded Arithmetic, 7th International School and Workshop on Proof Theory (Proof Society), Ghent, September 1–3, 2025. link Slides 1 Slides 2 Slides 3
The Australasian Association for Logic, Brisbane, Australia, November 2023. link
Proof theory, Logic and Algebra, Topology, Algebra, and Categories in Logic (TACL) Summer School, Coimbra, 20-24 June 2022 (replacing Rosalie Iemhoff). link Slides
Proof Complexity, 4th International Autumn School on Proof Theory (Proof Society), Utrecht, November 7-10, 2022. link Slides 1 Slides 2 Slides 3