[logic-ml] Banquet of RIMS Set Theory Workshop 2016