R. Ramanayake: "Extended Kripke lemma and decidability for hypersequent substructural logics"; Talk: Sixth TICAMORE MEETING, *Online*/Marseille, Marseille; 2020-10-05.