2012. PhDs in Logic IV, 12-13 April. The Reasoner. 6, 5 (May 2012).