[logic-ml] RIMS Set Theory Workshop 2020 (call for participation)