[logic-ml] LENLS11: Call for Participation and Registration