PhD’s in Logic, 19–20 February