Mathematical Philosophy, 7–9 April