Forthcoming Logic PhDs