[logic-ml] LFCS 2020 CFP, deadline extension till Sept 16