[logic-ml] Kobe Colloquium (May 20, 2014, Sawa)