[logic-ml] Call for Papers: 2nd AWPL