[logic-ml] Kobe Colloquium on Logic, Statistics and Informatics, January 27 (Monroe Eskew)