[logic-ml] 2nd CFP: JURISIN2012