[logic-ml] Talk by Liang-ting Chen, 19 Tue Jul