PhDs in Logic III, 17–18 February. tr 2011, 5 (3).