Modal and Epistemic Logic, 13–14 October