[logic-ml] Workshop on Mathematical Logic on the Occasion of Sakae Fuchino's 60th Birthday