PhDs in Logic III, 17–18 February