[logic-ml] [Deadline Extension] JURISIN2017: call for Papers