Magne Haveraaen from the University of Bergen is visiting our Department in May-July 2018.
Monika, Olga and Ulrich visited UC as part of the EU project CORCON in April 2017.
Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek. Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer. In Nadia Creignou and Daniel Le Berre (Ed.), Theory and Applications of Satisfiability Testing – SAT 2016. (pp. 228-245). Springer.
The Theory Group is part of a new 4 year EU HORIZON 2020 research project called Computing with Infinite data (CID). It involves partners from all continents of the world.
The 23rd International Workshop on Algebraic Development Techniques (WADT 2016) took take place in Gregynog, Wales, from 21st to 24th September, 2016. The workshop was organised by Markus Roggenbach and Phil James.
Hideki Tsuiki from Kyoto University is visiting Swansea from 15 to 28 August 2016. He is an expert in Domain Theory, Effective Topology and Exact Real Number Computation. He is working with Ulrich Berger and the Munich Minlog group on the Extraction of infinity Gray code for real numbers.
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.