[logic-ml] PhDs in Logic VIII, Darmstadt, Germany 9-11 May 2016