R. Kuznets: "Separating Truth and Proof in the Logic of Proofs"; Keynote Lecture: VSL-GetFun Workshop, Wien (invited); 2014-07-22 - 2014-07-23.