[logic-ml] RIMS Model Theory Workshop 2020