[logic-ml] 講演募集中: RIMS Set Theory Workshop 2023