[logic-ml] ITP 2017 - Final Call for Papers