British Logic Colloquium, 4–6 September