Grant Malcolm visiting

Grant Malcom from the University of Liverpool is visiting Swansea on the 29th of April 2016. He gave a talk in the PCV Seminar entitled Structures of Transition Systems.