[logic-ml] PhDs in Logic IX, Bochum (Germany), 2-4 May 2017