[logic-ml] AWPL2020 - CALL FOR PAPERS