Inductive Logic, 12–13 September