[logic-ml] TPLCV-2020 - Call for Papers