Proof Society Autumn School and Workshop 2022 7-12 November 2022

Proof-theoretic and algebraic aspects of (intuitionistic) modal logics 1 November 2022
Workshop on Proofs and Formalization in Logic, Mathematics and Philosophy 20-22 September 2022

26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019) 2-5 July 2019

Proof Theory in Logic 1-2 July 2019