[logic-ml] First Call for Papers LORI 2023 (26-29 October 2023, Shandong, China)