Leslie Lamport in Heidelberg

Über TeX-D-L erreicht uns der Hinweis auf einen Vortrag, den der LaTeX-Erfinder Leslie Lamport am 24. August 2015 beim Heidelberg Laureate Forum gehalten hat: A Mathematical View of Computer Systems. Hier einbinden kann ich das Video leider nicht. Wer den HTML5-Player der dortigen Website auf seinem System nicht nutzen kann (es wurden Probleme unter Linux berichtet), möge sich die mp4-Datei direkt herunterladen.