R. Kuznets: "Interpolation Method for Multicomponent Sequent Calculi"; Talk: Seminar "Logic and Theoretical Computer Science", Universität Bern, Bern, Schweiz (invited); 2015-10-29.