Re: [logic-ml] Kobe Colloquium on Logic, Statistics and Informatics Jan. 16, Jan. 18, and Jan. 19