[logic-ml] Kobe Colloquium on Logic, Statistics and Informatics, May 1 (Rod Downey)