K. van Berkel: "What is the (potential) role of proof theory for normative reasoning?"; Talk: TICAMORE 7th meeting, Wien; 2021-06-16 - 2021-06-17.