Together with Peter Schroeder-Heister, I gave a short course on PROOF-THEORETIC SEMANTICS at the Hilbert-Bernays Summer School on Logic and Computation at Göttingen University in August 2018.