[logic-ml] JSPS-NUS Joint Workshop in Logic