[logic-ml] CSCAT 2023 発表・参加募集