[logic-ml] 続報: MLG 数理論理学研究集会