[logic-ml] Kobe Colloquium in Logic (Lajos Soukup)