[logic-ml] Kobe Colloquium on Logic, Statistics and Informatics June 28, 2012