[logic-ml] First CFP: Eleventh International Workshop on Juris-informatics (JURISIN 2017)