PhDs in Logic IV, 12-13 April. tr 2012, 6 (5).