[logic-ml] Logic Seminar at Kobe