1. Wormshop 2023 (October-November), Bern. (Slides: pdf icon small)
  2. Weekly seminars of the University of Birmingham, Department of Computer Science, October 2023. (Slides: pdf icon small)
  3. Department of Philosophy, Ghent University, October 2023. (Slides: pdf icon small)
  4. Workshop on Proof Theory and its Applications, Barcelona, 10-14 July 2023. (Slides: pdf icon small)
  5. Logic Colloquium 2023, Milan, Italy. (Slides: pdf icon small)
  6. Lectures on Logic and its Mathematical Aspects (LLAMA) seminar series at the Institute for Logic, Language & Computation (ILLC) of the University of Amsterdam. (Slides: pdf icon small)
  7. Weekly seminars on mathematical logic, Ghent University. (Slides: pdf icon small)
  8. Trends in Proof Theory, Ghent University, 16-17 January 2023. (Slides: pdf icon small)
  9. Seminars "Proof Theory" and "Logic Online Seminar", May & June 2022 (3 sessions), Moscow. (Slides: pdf icon small)