British Logic Colloquium, 4–6 September (The Reasoner, 2008)