Ken is visiting Swansea for a few months to work with PLanCompS participants on formalisation of bisimulation equations and their robustness under language extensions. Today he will be giving a talk about this. The talk is part of the Proof, Complexity and Verification series at Swansea, and the Mathematical Foundations series at Bath, via a video link. We look forward to hearing all about it!