A. Ciabattoni:
"Proof theory meets semantics: the case of substructural logics";
Keynote Lecture: Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic and Point-free Topology (BLAST 2015), Denton, Texas (invited); 2015-06-08 - 2015-06-12.