[logic-ml] Call for Papers: 2nd AWPL (再送)