-
Details
-
-
Hits: 151
- 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