R. Kuznets: "Syntax Meets Semantcs to Prove Interpolation"; Talk: Syntax Meets Semantics 2016, Barcelona, Spanien; 2016-09-05 - 2016-09-09.