[logic-ml] SAML 2018 / Takeuti Memorial Symposium 講演募集