[logic-ml] Kobe Colloquium (talk by Dmitri Shakhmatov)