R. Ramanayake:
"Proof-theoretic methods in non-classical logics: decidability of BI";
Keynote Lecture: Non-classical Logics and Their Applications:The 8th International Workshop on Logic and Cognition (WOLC 2016), Guangzhou (invited); 2016-12-05 - 2016-12-09.