Combining Probability and Logic, 17–18 September