PhDs in Logic IV, 12-13 April (The Reasoner, 2012)