British Logic Colloquium 2015