[logic-ml] Final CFP: JURISIN2012