[logic-ml] SLACS2016のご案内