[logic-ml] Kobe Colloquium on Thu., Dec. 17