PhDs in Logic VIII, Darmstadt May 9-11, 2016