[logic-ml] Kobe Colloquium on Logic, Statistics and Informatics, May 10 (Andre Nies)