[logic-ml] Kobe Colloquium on Logic, Statistics and Informatics, August 21 (Arkady Leiderman)