The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of core mathematics and theoretical computer science as well as homotopy type theory and logical aspects ...