[logic-ml] CTFM2016(9/20-21, 早稲田大学)、CTFM Companion Lecture(9/23, 東京工業大学)のご案内