R. Kuznets:
"Interpolation beyond sequent calculi: modal, intuitionistic, and intermediate logics";
Keynote Lecture: FISP: The Fine Structure of Formal Proof Systems and their Computational Interpretations at the University of Innsbruck, Innsbruck (invited); 2016-11-15 - 2016-11-17.