Statistics for Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting)