PhDs in Logic IV, 12-13 April