[logic-ml] AWPL2020 - Deadline extended