On October 10-11 2019 there will be a workshop on Algebraic and Proof Theoretic Methods in Non-Classical Logic. The workshop is associated with the PhD defense of Frederik Möllerström Lauridsen (Cuts and Completions: Algebraic aspects of structural proof theory), which will take place at the Agnietenkapel (Oudezijds Voorburgwal 299-231) on Thursday 10 October, 2019 at 10:00.
For more information about the workshop (location, programme), please visit https://staff.fnwi.uva.nl/f.m.lauridsen/workshop.html