BCTCS 17 British Colloquium for Theoretical Computer Science