A. Ciabattoni: "(Algebraic) Proof Theory for Substructural Logics and Applications"; Talk: 87. Arbeitstagung Allgemeine Algebra (AAA87), Linz (invited); 2014-02-07 - 2014-02-09.