[logic-ml] [1st CFP] SOCREAL 2019