Talks

Invited Talks

  • On the Logical Shadow of the Explicit Constructions, Oberwolfach workshop, Mathematical Logic: Proof Theory, Constructive Mathematics, November 2020. Slides

  • Intuitionistic Implications: On the Logics of Spacetime, Second World Logic Day, January 2020. Slides

  • Stones for Bread: A Classical Reading of Intuitionism, Annual Symposium of Iranian Association for Logic, 2020. Slides

  • On the Existence of the Sequent-style Proof Systems, Workshop on Admissible Rule and Unification III, Prague, May 2019. Slides

  • Computational Flows in Arithmetic, Workshop on Bounded Arithmetic, Prague, November 2017. Slides

Contributed Talks

  • Feasible Visser-Harrop property for intuitionistic modal logics, Logic Colloquium 2021. Slides

  • Generalized Heyting Algebras and Duality, BLAST 2021. Slides

  • The BHK Interpretation: looking through Godel’s classical lens, Logic Colloquium 2019. Slides

  • Witnessing Games in Generalized Bounded Arithmetic, LCC 2019. Slides

  • Predicative Implications: A Topological Approach, TACL 2019. Slides

  • Proof Mining in Bounded Arithmetic, The Proof, Computation and Complexity workshop, Types, Sets and Constructions, Trimester Program, Hausdorff Research Institute for Mathematics, Bonn, July 2018. Slides

  • Mining the Surface: Proof Mining in the Bounded World, The Proofs and Computation workshop, Types, Sets and Constructions, Trimester Program, Hausdorff Research Institute for Mathematics, Bonn, July 2018. Slides

  • General Proof Theory, First Annual Symposium of Iranian Association for Logic, Tehran, Iran, May 2013.

Some Seminar Talks

  • On the Existence of the Sequent-style Proof Systems, Groningen, 2021. Slides

  • Intuitionistic Implications: On the Logics of Spacetime, Utrecht, 2020. Slides

  • Steenen voor Brood: A Classical Interpretation of the Intuitionistic Logic, TULIPS, Utrecht University, 2019.

  • Predicative Exponentials: A Topological Approach, Types, Sets and Constructions Trimester Program, Hausdorff Research Institute for Mathematics, Bonn, July 2018.

  • The BHK interpretation: looking through Godel’s classical lens, Types, Sets and Constructions Trimester Program, Hausdorff Research Institute for Mathematics, Bonn, May 2018.

  • Computational Flows in Arithmetic, Swansea University, UK, November 2017. Slides

  • Geometric Modality and Weak Exponentials, University of Nottingham, November 2017.

  • Feasible Interpolation for Frege and Extended Frege, Steklov Institute of Mathematics, Saint Petersburg, June 2016.

  • An Introduction to Bounded Arithmetic, Charles University, Prague, November 2015.

  • Disjoint NP Pairs and Propositional Proof Complexity, Logic Seminar, Institute of Mathematics, Academy of Sciences, Prague, June 2015.

  • Constructive Feasible Arithmetic, Institute of Mathematics, Academy of Sciences, Prague, June 2014.