[logic-ml] AWPL 2018 (deadline extended)