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