[logic-ml] MOL 12 Tokyo - Submission Open