Mohammad Mousavi visit

Today we welcome Mohammad Mousavi who’ll be giving a talk in the Proof, Complexity & Verification seminar at Swansea entitled In Processes, We Believe! On Marrying Process Algebra and Epistemic Logic. Mohammad is visiting for a few days to discuss modular bisimulation theory with the group at Swansea.