Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

10 - 11 October 2019, Workshop on Algebraic and Proof Theoretic Methods in Non-Classical Logic

Date: 10 - 11 October 2019
Location: Potgieterzaal (Room C0.01), University Library, Singel 425, Amsterdam

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.

Invited speakers: Nick Galatos (University of Denver), Mai Gehrke (Laboratoire J.A. Dieudonné), Rosalie Iemhoff (Utrecht University) and George Metcalfe (University of Bern).

For more information, see https://staff.fnwi.uva.nl/f.m.lauridsen/workshop.html or contact Frederik Lauridsen at .

Please note that this newsitem has been archived, and may contain outdated information or links.