[logic-ml] Second Call for Papers: MOL 12 Tokyo