The positivication of coalgebraic logics, CALCO 2017, June 2017, Ljubljana Slovenia
A theory of program semantics, University of Leicester Computer Science Seminar, March 2017.
Coalgebraic completeness-via-canonicity, CMCS 2016, Eindhoven Netherlands, April 2016
Completeness via canonicity for distributive substructural logics: a coalgebraic perspective, RAMiCS 2015, Braga Portugal, October 2015.
A theory of strong completeness for relational semantics, London Logic Forum, July 2015.