[logic-ml] PPL2012 論文募集