[logic-ml] Call for Submissions: ICFP Student Research Competition