C. Fermüller: "Connecting Lorenzen style games and Gentzen style calculi"; Keynote Lecture: CiE 2015 - Evolving Computability, Bucharest (invited); 2015-06-29 - 2015-07-03.