[logic-ml] 27th WoLLIC 2020 (Lima, Peru) - 3rd Call for Papers