PhDs in Logic IV, 12-13 April. The Reasoner, v. 6, n. 5, 1 May2012.