[logic-ml] Kyoto Workshop on Logic and Metaphysicsのご案内