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.

Olaf Beyersdorff from the University of Leeds is visiting Swansea on the 12th of April 2016.

He will give a talk in the Theory Seminar about Proof Complexity of Quantified Boolean Formulas