1 November 2022, Workshop on Proof-theoretic and Algebraic Aspects of (Intuitionistic) Modal Logics

The workshop Proof-theoretic and Algebraic Aspects of (Intuitionistic) Modal Logics will take place on November 1, 2022, in Utrecht. This workshop is organized on the occasion of Iris van der Giessen’s PhD defense, which takes place November 2, 2022, Utrecht. The topics of the talks are related to the subject of her PhD thesis: Uniform Interpolation and Admissible Rules.

Please send an email to i.vandergiessen at bham.ac.uk if you would like to come. Participation is free and includes the nice talks and coffee breaks.