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.
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