[logic-ml] Talk by Kohei Kishida (28 June, 11.00-, at Kyoto University)