[logic-ml] Kobe Colloquium on Logic, Statistics and Informatics, October 25 (Bernhard Koenig)