RIMS Model Theory Workshop 2020