[logic-ml] Set Theory Seminar in Kobe