[logic-ml] Kobe Colloquium: Dec. 7, 2017, Martin Ziegler