PhDs in Logic III, 17–18 February (The Reasoner, 2011)