British Colloquium for Theoretical Computer Science, 2-5 April. The Reasoner, v. 6, n. 5, 1 May2012.