[logic-ml] Fwd: Kobe Colloquium on Logic, Statistics and Informatics, July 24 (Paul Larson)