British Colloquium for Theoretical Computer Science, 2-5 April