Inference, Consequence, and Meaning, 3-4 December