[logic-ml] MLG数理論理学研究集会(1/8-1/10京都):参加・講演募集