[logic-ml] CFP: JURISIN2014