-
Details
-
-
Hits: 853
- Wormshop 2023 (October-November), Bern. (Slides:
)
- Weekly seminars of the University of Birmingham, Department of Computer Science, October 2023. (Slides: )
- Department of Philosophy, Ghent University, October 2023. (Slides: )
- Workshop on Proof Theory and its Applications, Barcelona, 10-14 July 2023. (Slides: )
- Logic Colloquium 2023, Milan, Italy. (Slides: )
- Lectures on Logic and its Mathematical Aspects (LLAMA) seminar series at the Institute for Logic, Language & Computation (ILLC) of the University of Amsterdam. (Slides: )
- Weekly seminars on mathematical logic, Ghent University. (Slides: )
- Trends in Proof Theory, Ghent University, 16-17 January 2023. (Slides: )
- Seminars "Proof Theory" and "Logic Online Seminar", May & June 2022 (3 sessions), Moscow. (Slides: )
-
You are here:
-
Home
-
Conferences & Talks