British Colloquium for Theoretical Computer Science, 2-5 April (The Reasoner, 2012)