Combining Probability and Logic, 17-19 September