R. Ramanayake: "A syntactic proof of decidability for the logic of Bunched Implication BI"; Talk: Workshop TICAMORE, Marseille; 2017-11-15 - 2017-11-18.