[logic-ml] Kobe set theory seminar on Tue 2 June.