Combining Probability and Logic, 17-19 September (The Reasoner, 2009)