[logic-ml] Call for Papers: JURISIN-2018