Talks
Invited Talks
(upcoming) 7th Workshop on Proof Theory, Modal Logic, and Reflection Principles (Wormshop), Ghent, September 2024.
From Doubt to Determination: Building Confidence In Your PhD and Beyond, 11th Logic Mentoring Workshop, Tallinn, July 2024. link
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
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, Utrecht, November 7-10, 2022. link Slides 1 Slides 2 Slides 3
Contributed Talks
Skolemization in superintuintionistic logics, Fourteenth International Tbilisi Symposium on Logic, Language and Computation, Georgia, September 2023.
How do weak systems behave? Workshop on Proof Theory and its Applications, Barcelona, July 2023.
Investigations on Quantifier Shifts in Intermediate Logics, Logica 2023, Teplá, June 2023.
Feasible admissible rules in intuitionistic modal logics, Logic Colloquium, Milan, June 2023.
Interpolation for Non-normal Modal and Conditional Logics, Logica, Teplá, September 2022.
Weak Systems Have Intractable Theorems, MOSAIC, Salerno, September 2022.
Uniform Lyndon interpolation for intuitionistic monotone modal logic, AiML, Rennes, August 2022.
Uniform Lyndon interpolation for basic non-normal modal and conditional logics, TACL 2022, Coimbra, June 2022.
General forms of rules imply disjunction property, Logica 2021, Hejnice, September 2021.
On Hard Theorems for Substructural Logics, Logic colloquium 2021, Poznan (online), July 2021.
On the existence of decent proof systems, Seventh Annual Conference, Iranian Association for Logic, Tehran, January 2020.
On the logical implications of proof forms, Logic Colloquium 2019, Prague, August 2019.
Proof Complexity of Focused Calculi, Logic and Computational Complexity Workshop (LCC 2019, collocated with ICALP 2019), Patras, July 2019.
An exponential lower bound for proofs in focused calculi, 26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019), Utrecht, July 2019.
Semi-analytic rules and Craig interpolation, SYSMICS, Amsterdam, January 2019.
On lengths of proofs in centered calculi, FEALORA farewell workshop, Špindlerův Mlýn, Czech Republic, November 2018.
Constructive Set Theory, the first Annual IAL Symposium on Logic, Tehran, Spring 2013.