Talks

Invited Talks

Towards an Alternative Foundation for Feasible Mathematics, Proof Complexity Workshop, Oxford, August 2025.
Philosophy Meets Computational Complexity, Workshop on Philosophical Topics in Mathematics and Proof Theory, Utrecht, June 2025.
On Interpolation and Proof Complexity, Second Workshop on Craig Interpolation and Beth Definability, November 2024.
On the Computational Content of Intuitionistic Modal Proofs, ARQNL, July 2024.
On Gödel's Classical Interpretation of Intuitionism, Czech Gathering of Logicians 2024 and Kurt Gödel's Day 2024.
Towards Synthetic Complexity Theory, Oberwolfach workshop, Mathematical Logic: Proof Theory, Constructive Mathematics, November 2023.
Generalized Heyting Algebras and Duality, Proof-theoretic and Algebraic Aspects of (Intuitionistic) Modal Logics, Utrecht, November 2022.
Logic as the Shadow of Mathematics, Proofs and Formalization in Logic, Mathematics and Philosophy, Utrecht, September 2022.
On the Logical Shadow of the Explicit Constructions, Oberwolfach workshop, Mathematical Logic: Proof Theory, Constructive Mathematics, November 2020
Intuitionistic Implications: On the Logics of Spacetime, Second World Logic Day, January 2020.
Stones for Bread: A Classical Reading of Intuitionism, Annual Symposium of Iranian Association for Logic, 2020.
On the Existence of the Sequent-style Proof Systems, Workshop on Admissible Rule and Unification III, Prague, May 2019.
Computational Flows in Arithmetic, Workshop on Bounded Arithmetic, Prague, November 2017.

Contributed Talks

Universal Proof Theory: Disjunction Property in First-order Theories, Proof Society International School and Workshop 2024.
Predicativism, Universality and Low-Complexity Computation, Structure Meets Power 2024.
A Categorical Characterization of Low-complexity Functions, TACL 2024.
On Geometric Implication, TACL 2024.
Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic, Logic Colloquium 2023.
Universal Proof Theory: Constructive Rules and Feasible Admissibility, Proof Society International School and Workshop 2022.
Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic, WoLLIC 2022.
Provability Logics of Hierarchies, AiML 2022.
Uniform Lyndon Interpolation for Basic Non-normal Modal Logics, WoLLIC 2021.
The “Implications” of the Ultimate Subjectivism, LOGICA 2021.
Feasible Visser-Harrop property for intuitionistic modal logics, Logic Colloquium 2021.
Generalized Heyting Algebras and Duality, BLAST 2021.
The BHK Interpretation: looking through Gödel’s classical lens, Logic Colloquium 2019.
Witnessing Games in Generalized Bounded Arithmetic, LCC 2019.
Predicative Implications: A Topological Approach, TACL 2019.
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.
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.
General Proof Theory, First Annual Symposium of Iranian Association for Logic, Tehran, Iran, May 2013.

Seminar Talks

Categorical Proof Theory: An Introduction, Prague, December 2024.
On Feasible Addmissibility, Prague, May 2023.
Unearthing the Feasible World: A Proposal, Logic Seminar, Prague, May 2023.
On the Existence of the Sequent-style Proof Systems, Groningen, 2021.
Intuitionistic Implications: On the Logics of Spacetime, Utrecht, 2020.
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 Gödel’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.
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.

Google Sites

Report abuse

Talks

Invited Talks

Towards an Alternative Foundation for Feasible Mathematics, Proof Complexity Workshop, Oxford, August 2025.

Philosophy Meets Computational Complexity, Workshop on Philosophical Topics in Mathematics and Proof Theory, Utrecht, June 2025.

On Interpolation and Proof Complexity, Second Workshop on Craig Interpolation and Beth Definability, November 2024.

On the Computational Content of Intuitionistic Modal Proofs, ARQNL, July 2024.

On Gödel's Classical Interpretation of Intuitionism, Czech Gathering of Logicians 2024 and Kurt Gödel's Day 2024.

Towards Synthetic Complexity Theory, Oberwolfach workshop, Mathematical Logic: Proof Theory, Constructive Mathematics, November 2023.

Generalized Heyting Algebras and Duality, Proof-theoretic and Algebraic Aspects of (Intuitionistic) Modal Logics, Utrecht, November 2022.

Logic as the Shadow of Mathematics, Proofs and Formalization in Logic, Mathematics and Philosophy, Utrecht, September 2022.

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

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

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

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

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

Contributed Talks

Universal Proof Theory: Disjunction Property in First-order Theories, Proof Society International School and Workshop 2024.

Predicativism, Universality and Low-Complexity Computation, Structure Meets Power 2024.

A Categorical Characterization of Low-complexity Functions, TACL 2024.

On Geometric Implication, TACL 2024.

Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic, Logic Colloquium 2023.

Universal Proof Theory: Constructive Rules and Feasible Admissibility, Proof Society International School and Workshop 2022.

Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic, WoLLIC 2022.

Provability Logics of Hierarchies, AiML 2022.

Uniform Lyndon Interpolation for Basic Non-normal Modal Logics, WoLLIC 2021.

The “Implications” of the Ultimate Subjectivism, LOGICA 2021.

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

Generalized Heyting Algebras and Duality, BLAST 2021.

The BHK Interpretation: looking through Gödel’s classical lens, Logic Colloquium 2019.

Witnessing Games in Generalized Bounded Arithmetic, LCC 2019.

Predicative Implications: A Topological Approach, TACL 2019.

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.

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.

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

Seminar Talks

Categorical Proof Theory: An Introduction, Prague, December 2024.

On Feasible Addmissibility, Prague, May 2023.

Unearthing the Feasible World: A Proposal, Logic Seminar, Prague, May 2023.

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

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

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 Gödel’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.

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.