The goal of this workshop is to provide a platform for Dutch and international experts to share their knowledge and expertise on the application of algebraic and proof theoretic methods to the study of non-classical logics.
The workshop is associated with the PhD defense of Frederik Möllerström Lauridsen of the thesis Cuts and Completions: Algebraic aspects of structural proof theory at the Agnietenkapel, Oudezijds Voorburgwal 299-231 on Thursday 10 October, 2019 at 10:00.
Thursday 10 October
Friday 11 October
The venue for the workshop is Potgieterzaal (C0.01), University Library, Singel 425, Amsterdam 1012 WP.