Wednesday 09:30 - 09:50 09:50 - 10:00 10:00 - 11:00 11:00 - 11:15 11:15 - 12:00 12:00 - 13:45 13:45 - 14:30 14:30 - 15:15 15:15 - 15:30 15:30 - 16:15 16:15 - 17:00 Registration & Coffee Welcome Jeanne Peijnenburg: Probability, logic, and partial knowledge Coffee Seamus Bradley: The logic of evidence and its relation to rational belief Lunch Nicole Cruz: Uncertain deduction with ifs, ands, and ors David Miller: Reconditioning the Conditional Coffee Paul D. Thorn: Qualitative Probabilistic Inference Jonathan Lawry : Borderlines, Borderline Probabilities and Probabilities of Borderlines 19:30 Conference Dinner Thursday 09:30 - 10:30 10:30 - 10:45 10:45 - 11:30 11:30 - 12:15 12:15 - 14:00 14:00 - 15:00 15:00 - 15:15 15:15 - 16:00 16:00 - 17:00 John Norton: The Incompleteness of Calculi of Inductive Logic Coffee Rossella Marrano: Degrees of truth as objective probabilities Tom Sterkenburg: Algorithmic Probability as objective-logical prior distribution Lunch Jeff Paris: Natural Distributions Coffee Pavel Janda: Accuracy-Difficulty of a Single-Number Credence Representation in Belnap’s Four-Valued Logic Posters & Beer Friday 09:30 - 10:15 10:15 - 10:30 10:30 - 11:15 11:15 - 12:00 12:00 - 14:00 14:00 - 14:45 14:45 - 15:30 15:30 - 15:45 15:45 - 16:45 16:45 - 17:00 Jan Sprenger: Scientific Reasoning, Bayesian Confirmation and Conditional Probabilities Coffee Mathias Madsen - The Uniform Law of Large Numbers and Kolmogorov’s Structure-Noise Decomposition Dragan Doder: Probabilistic logics with independence and probabilistic support Lunch Eric Raidl: The problem of iterated revision Ted Shear: Belief Revision via Maximization of Expected Epistemic Utililty Coffee Richard Bradley: Incompleteness and Unawareness Closing Words