-
Details
-
-
Hits: 1064
- Advances in Modal Logic (AiML) 2024, Prague. (Slides:
)
- Logic Colloquium 2024, Gothenburg, Sweden. (Slides:
)
- 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