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