Proof Society Summer School 2019 & Workshop on Proof Theory and its Applications (2019)
Website: https://www.proofsociety.org/past/summer-school-2019/
Dates: 08 Sep - 13 Sep
City: Swansea
Host institution: Swansea University