Philosophy of Mathematics: Truth, Existence and Explanation, 26–28 May (The Reasoner, 2016)